theorem Th11: :: EUCLID_3:11

for z being Complex holds cpx2euc (- z) = - (cpx2euc z)