(1)により、を満たすようなが存在する。