>>764
では「非存在の証明が厳密に可能な場合がある」ことを証明してください。