Mittelwertsatz
In the theory of finite groups the Sylow theorems imply that, if a power of a prime number formula_198 divides the order of a group, then the group has a subgroup of order formula_198. By Lagrange's theorem, any group of prime order is a cyclic group,