Since is abelian it means is a normal subgroup. Form the factor group . The order of this group is . Therefore, any element raised to must be the identity. Let . Then look at . If we raise it to the i.e. add it times (because we are using additive notation as opposed to multiplicative) it means .