for z being Complex holds z |^ 1 = z