theorem :: SEQ_4:68

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