for f being real-valued XFinSequence holds Sum f = Sum (Sequel f)