This can help in proving correctness, simplifying an algorithm, or even finding ways of optimizing it.

• 这有助于验证正确性、简化算法,甚至有助于找出优化它的方法。