El argumento inverso también vale, como demuestra el siguiente teorema: si un grupo "K" contiene dos subgrupos normales "G" y "H", tales que "K" = "GH", y "G" ∩ "H" = {1}, entonces "K" es isomorfo a "G" × "H".