theorem Th6: :: MESFUN6C:6

for X being non empty set
for f, g being PartFunc of X,COMPLEX holds
( Re (f - g) = (Re f) - (Re g) & Im (f - g) = (Im f) - (Im g) )