え?じゃあ>>764の証明はあってるの?
>>764 の証明は

「n が奇数、pが奇素数、y が p^n と (1+p+…+p^n)/2 の公倍数である奇数は存在しない」

の証明だよ?
あってんの?