Antes de continuar nuestros estudios de clasificación, probaremos un resultado acerca de la cardinalidad del conjunto producto de dos subgrupos, que nos ayudará en clasificaciones futuras.