证明stein算法的正确性