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