for n being Nat
for z being Element of COMPLEX n holds z - (0c n) = z