for f being heterogeneous non empty real-valued FinSequence holds Het f >= 2