theorem Th21: :: MESFUN9C:21

for X being non empty set
for D being set
for F being Functional_Sequence of X,COMPLEX holds Re (F || D) = (Re F) || D