Theoremproving
[计] 定理证明
🗣️ 情景例句
That's great.
真棒！
Diseases come on horseback, but go away on foot.
病来如山倒，病去如抽丝。
She was soon out of breath, but she continued to run.
只追了一会儿便上气不接下气了，但她还是继续追赶。