教えてください。
H,Kを有限群Gの部分群とする。そのとき元の個数について
以下の式が成り立つことの証明。

|HK| * |H∩K| = |H| * |K|