if p is a prime number, prove that nCp = [n/p](mod p)