theorem Th10: :: POLYEQ_5:10

for a, z being Complex holds
( z |^ 2 = a iff ( z = 2 -root a or z = - (2 -root a) ) )