(Producto Interno) Sea formula_1 un grupo y sean formula_305 formula_265 subgrupos de formula_14 formula_1 es el producto interno de formula_13 y formula_299 ssi, se cumple que: