for x, y, z being LD-EqClass holds x 'or' (y 'or' z) = (x 'or' y) 'or' z by Th98;