>>693
a,b,cの式がyが奇数の完全数という条件から得られる条件だと思う

>>698
pはある値をとるはずですから、uやsは定数値になるはずです。
uやsをpに依存しな定数だと考えると>>530は正しくなります。

>>699
基本的に、新規に2つの別証明を追加しただけですけど。

>>700
これは全然違う