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