theorem Th19: :: BORSUK_7:20

for f being real-valued FinSequence st Sum f <> 0 holds
Sum (f (/) (Sum f)) = 1