Divisibility of binomial coefficients (#648) - Basecamp