Lagrange's Theorem says that every finite group of cardinality n has the property that the nth power of any of its elements is trivial.