Con anterioridad, hemos visto dos instancias de este clase de resultados: el teorema de Lagrange y el teorema acerca de la cardinalidad del conjunto producto de dos subgrupos.