単純で純粋な存在証明の話