But wait—perhaps “divisible by 7, 11, and 13” is a red herring, but no.