在什么条件下,组合数是质数?在满足什么条件下,组合数 nCk 是质数?另请证明