1は無限大ではない奇数の完全数が1つ存在すると主張するのか?