for p being FinSequence st rng p <> {} holds
1 in dom p