Real Zero is Less than Real One

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

Proof
From Square of Non-Zero Real Number is Strictly Positive:
 * $0 > 0$.

Then: