A partir del teorema de Lagrange puede, por ejemplo, demostrarse que si formula_43 son subgrupos finitos de un grupo formula_1, entonces