命題
G を群とする。
H と K を G の部分群とする。
[H, K] （>>423）の各元は [h, k] または [k, h]、h ∈ H、k ∈ K の形の元の有限個の積である。

証明
>>416より明らかである。