を満たすものが存在することが示される。