theorem Th8: :: MESFUN6C:8

for X being non empty set
for f being PartFunc of X,COMPLEX holds f = (Re f) + (<i> (#) (Im f))