权重优先级采样的性质应该如何证明？