Proposición 1 (Cardinalidad de un Conjunto Producto de Subgrupos)