>>641
Hの元をGの元と見れば結合律は自明