text: Umgekehrt ist jeder Faktor eines (äußeren) direkten Produktes (isomorph zu einem) Normalteiler der Produktgruppe und das Produkt aus den übrigen Faktoren ist isomorph zu einem dazu komplementären Normalteiler.