theorem Th74: :: SEQ_4:75

for n being Nat
for z1, z2, z3 being Element of COMPLEX n holds (z1 - z2) - z3 = z1 - (z2 + z3)