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