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 .