>>975
p1～prを定める→それに応じてa,bが定まる→式④の式の解p,nが存在すると仮定する
→存在した場合には奇数の完全数yが解p,nに対して一意に定まる。