Proposition 1.8.1.20.  Let n ∈  such that n ≤ 0. Then:
n = 0
Proof.
n ≤ 0defn = 0