Real Zero is Less than Real One

Theorem
The real number $0$ is less than the real number $1$:
 * $0 < 1$