nCr=nrn−1Cr−1
∴mpCr=mprmp−1Cr−1=[m.mp−1Cr−1r]
L.H.S. is an integer ⇒ R.H.S. is an integer and p is prime such that p does not divide r.
∴mpCrp = integer which is turn means that p divides mpCr.
Proof by Introduction :
For m = 1, mpCr=pCr
=p(p−1)(p−2)....rfactorsr(r−1)(r−2)....rfactors
Above is clearly divisible by p.(r < p)
Assume mpCr is divisible by p.
We shall prove that (m+1)pCr is also divisible by p to complete the proof.
Now (1+x)(m+1)p=(1+x)mp(1+x)p
Expanding both sides and equating the coefficient of xr on both sides, we get
(m+1)pCr=1.pCr+mpC1pCr−1+mpC2pCr−2+.....R.H.S. is clearly divisible by p by (1) and (2) and hence L.H.S. i.e., (m+1)pCr is also divisible by p.