算法推理证明

- 1．直接证明 - 第2页/共40页 - 推理论证 - - 成立 - 证明的结