Real Number between Zero and One is Greater than Square/Proof 2

Theorem
Let $x \in \R$.

Let $0 < x < 1$.

Then:
 * $0 < x^2 < x$

Proof
We have that Real Numbers form Ordered Integral Domain.

Thus Square of Element Less than Unity in Ordered Integral Domain applies directly.