てか奇数yの時prが奇数であることの証明をした方が良くないか?
それがj^2^n -1になると思うからmod処理だけで行けそうだから完全数もそのmod処理の上位互換として行けそう