theorem Th32: :: COMPLEX2:34

for x, y being Complex holds y .|. x = (x .|. y) *'