Lucas [{n choose m} mod p = {{n / p} choose {m / p}} · {{n mod p} choose {m mod p}} mod p (p in mathbb{P}) ]