Proposition 1.8.1.22.6.  Let n ∈ . Then:
<n ⊆ n
No proof.