验证取样定理