xH * yH = xyH.