**Theorem.** For every natural number ,

**Proof.** is an ordinal, and hence equals . Since is an object in the category **Set**, it also represents the identity morphism on that object. Of course, for a permutation is the sign of the permutation. Since the identity permutation is even, this equals the identity element of the group .