从解题到证明思维

通过结构化表达训练，证明思维可以更早建立。

学生需要学会区分直觉与验证。

目标是建立在陌生题目下依然稳定的推理体系。