Proposition 1.8.1.27.  Let n ∈ . Then:
n ⋅ 1 = n
Proof.  (0) + n = n by 1.8.1.4.
References.