「奇完全数が2個存在するならばある条件が成立する」を真としても「ある条件が成立するならば奇完全数が2個存在する」とは限らない