用定义展开，然后发现左右两边相等

现在你从n个数中取一个有n种可能，同时为了和后续取n-1个数的后续操作独立，你还要确保现在取出的这个数是未来m个将要取出的数的一个随机数，即同时你在现在确定了一个未来有m种可能的随机数，即你按照1/m的概率确定了一个未来的随机数，以保证它是未来将要取出的m个数种随机取出的，从而保证，现在的操作能独立于你未来从n-1个数再取m-1个数的未来操作。这样，现在你的操作就是n/m，未来你的操作就是后面的C(n-1,m-1)。

书上没有证明过程吗？