Indivisibility of binomial coefficients (#638) - Basecamp