ところで奇数の完全数みたいにひとつひとつは確かめられるが、証明はできないって問題はあるのかな?