theorem Th3: :: COMPLEX1:3

for z1, z2 being Complex st Re z1 = Re z2 & Im z1 = Im z2 holds
z1 = z2