Nuestro primer teorema será un resultado atribuido a Lagrange , que aunque válido para grupos infinitos, tiene su mayor importancia para los finitos, por lo que nos limitaremos a ese contexto.