排列组合的关系——一个等式的证明