Generified predicate to accept one or more divisors.