>>948
p=4q+1が成立しないということは
yが奇数の完全数であるならば、p=4q+1でなければならない
という命題に反するので、奇数の完全数が存在しないことになります。