简单推理(等量代换)

- - - 简单推理(等量代换) - - - -