for f being non trivial FinSequence holds 1 < len f