for f being complex-valued XFinSequence holds Re (Sequel f) = Sequel (Re f)