>>694
mCr+nCs=aCbとなる自然数a,bが存在するために、自然数m,r,n,sが満たすべき必要十分条件は、mCr+nCs=aCbとなる自然数a,bが存在することです