Proof

Let g and h be elements of S_n.

• If one of the permutations is even and the other is odd, then gh can obviously be written as the product of an odd number of transpositions and is therefore odd.
• If g and h are both even or both odd, then the product gh can be written as the product of an even number of transpositions so that gh is even.