Lucas's Theorem is about finding the result of a binomial coefficient modulo a prime p efficiently. The result is expressed as a product of binomial coefficients involving the base p expansions of the parameters of the original binomial coefficient. We give an elementary proof of Lucas's Theorem by deriving an analogous Vander-monde identity modulo a prime number.
