n为质数,证C(m,n)能被n整除.