Predicate (div? a b)
Fermat numbers