Absolute Value of Cut is Zero iff Cut is Zero

Definition
Let $\alpha$ be a cut.

Let $\size \alpha$ denote the absolute value of $\alpha$.

Then:
 * $\size \alpha = 0^*$ $\alpha = 0^*$

where $0^*$ denotes the rational cut associated with the (rational) number $0$.

Proof
Let $\alpha 0^*$.

Then by definition $\size \alpha = \alpha = 0^*$.

Let $\alpha \ne 0^*$.

Then either:
 * $\alpha > 0^*$ in which case $\size \alpha = \alpha > 0^*$

or:
 * $\alpha < 0^*$ in which case $\size \alpha = -\alpha > 0^*$

In either case $\size \alpha \ne 0^*$.

The result follows.