for n being Nat
for z being Element of COMPLEX n holds |.(- z).| = |.z.| by Th90;