>>658
では、必要と十分の違いに注意して「0(p^2-1)=0なら，yが完全数である」を示してください。