for f being FinSequence holds not 0 in dom f