二项式定理的应用,证明整除或求余数