>>364
確認するけども
H_1H_2 = {h_1h_2 | h_1∈H_1, h_2∈H_2}
じゃないのか?

もしそうじゃないとしたら、H_1H_2は何を表してるんだ?