theorem Th98: :: GRZLOG_1:42

for x, y, z being LD-EqClass holds (x '&' y) '&' z = x '&' (y '&' z)