请问您T4 std 里面的chek函数怎么证明复杂度正确呢？