theorem Th21: :: TOPREALC:21

for f being real-valued FinSequence holds |.(Sum f).| <= Sum (abs f)