pascal’s triangle mod p. red = the p-adic valuation of the binomial (its carry count): the arithmetic behind a! b! | n! (a+b−n)!.