Proposition 1.8.1.19.  Let n ∈ . Then:
Proof.  By definition.
References.