• 存在証明