En esta sección, veremos un resultado muy importante que relaciona la cardinalidad de un grupo con aquella de un subgrupo y sus clases laterales.