验证抽样定理