これもしかして、
yが完全数→R=1なので、
R=1がこれ以外の解を持ったら矛盾
とかいうアレ?