Левые смежные классы не пересекаются. И правые смежные классы тоже не пересекаются. И если тех и других всего по два, причём, один из них одинаковый в обоих случаях, то другой...
ага, кажысь начинаю понимать...
Просто, видно, Холл там не совсем корректно сформулировал фразу. Надо было хотя бы так: если G=H+Hx и G=H+xH, то Hx=xH.