2.1.3 用程序设计方法实现正确性