>>500
条件には、Ar+1…Ax、Br+1 … Bx及びpxがでてこないということはこれらの変数は
任意で構わないということですけど

>>501
操作[掛け算]の定義は8ページの前半に、計算に関しては6ページの後半に書いてあります。
それを応用すればよい。

>>502
それは、反例の一部を示したに過ぎません。反証は全て、奇数の完全数にならないことを
示さなければいけません。

この問題はp≡1 (mod 4)を前提としているのでそれに反している時点で考慮するに値しませんが。