群の直積
g ∈ G , h ∈ H {\displaystyle g\in G,\ h\in H} とすると,次が成り立つ。
したがって,主張が従う.