>>879

> 何度も書かなければいけないんですか？
> p≡1 (mod 4)とn≡1 (mod 4)を満たすpとnであれば全てyは奇数の公倍数になる

そもそもこんなの成立しないよね？
P = 5, n = 5 のときp^nと1+p+…+p^n の公倍数って奇数とは限らないよね？

見よう見真似で十分性のチェックっぽい事しようとして失敗してるね。
十分性のチェックにもなってないし。