>>925
>奇数の完全数をy、そのうち一つの素因数をp

はいyの存在を仮定してますね