Mittelwertsatz
For a finite cyclic group of order "n", "g""n" is the identity element for any element "g". This again follows by using the isomorphism to modular addition, since for every integer "k". (This is also true for a general group of order "n", due to Lagrange's theorem.)