theorem Th17: :: BKMODEL3:20

for x, y, z being Element of EnsLineHomography3 holds (x (*) y) (*) z = x (*) (y (*) z)