theorem Th5: :: MESFUN6C:5

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) )