ある奇数は完全数か.