theorem Th34: :: COMPLEX2:36

for x, y, z being Complex holds x .|. (y + z) = (x .|. y) + (x .|. z)