存在の証明。