と定めると、であるから、任意のに対し、あるが存在し、となる。