Theoremproving
[计] 定理证明
🗣️ 情景例句
A positive solution
一个好法子
Every man has the defects of his qualities.
一个人的好品质上也有不足之处。
It is said that a new policy is being put into practice in your foreign trade.
据说你们正在实施一种新的对外贸易政策。