证明算法的正确性