怎么证明算法的正确性