begin this section with another proof of Lucas' Theorem (due to Fine
(1947)), based on the obvious generating function for :
Start by noting that as
each is divisible by p, by Kummer's Theorem, unless
i=0 or (this is sometimes referred to as ` The Children's Binomial
Theorem'). Therefore, writing n in base p, we have
and the result follows.