Groups
Category
Level
Lucas' Theorem lets you compute C(n, k) modulo a prime p by working digit-by-digit in base p.
A linear Diophantine equation ax + by = c has integer solutions if and only if gcd(a, b) divides c.
The Chinese Remainder Theorem (CRT) reconstructs an integer from its remainders modulo pairwise coprime moduli and guarantees a unique answer modulo the product.