theorem :: EUCLID_3:3
for z1, z2 being Complex st cpx2euc z1 = cpx2euc z2 holds
z1 = z2