theorem Th7: :: POLYEQ_5:7

for z being Complex
for n0 being non zero Nat holds (n0 -root z) |^ n0 = z