>>683
そう言ってくると思いましたが、a=13のとき、yの素因数が2種類になるのでyは完全数になりえません。
なので、a=13という仮定は不成立です。