証明不可能なら証明は完成してませんね
お疲れさまでした

>>87
yを素因数分解するときに、何故一つの素因数(p)だけを特別扱いしてるのですか?