*
* 2. For each divisor %$d$% of %$r - 1$% less than %$B$% (which we can
* construct using this factorization), make sure that
*
* 2. For each divisor %$d$% of %$r - 1$% less than %$B$% (which we can
* construct using this factorization), make sure that