Aplicando el teorema de Lagrange al grupo formula_123, tenemos la siguiente proposición.