命題
G を群とする。
H と K を G の部分群とする。
K が G の正規部分群であれば HK は G の部分群である。

証明
K は G の正規部分群であるから HK = KH
よって、>>794より HK は G の部分群である。
証明終