But consider: could there be a composite guaranteed divisor like 21? No, since 5 and 7 not guaranteed.