算法的数学证明