一个好的策略是找到一个非形式的证明然后试着形式化它。

一个好的策略是找到一个非形式的证明然后试着形式化它。
A.对
B.错
正确答案：对