theorem Th5: :: NEWTON:5

for z being Complex holds z |^ 1 = z