Theoremproving
[计] 定理证明
🗣️ 情景例句
Chablis is fine.
好的。
One half of the world does not know how the other half lives.
贫富不相知。
Oh dear! It's very cold today, isn't it?
天哪，天真冷，不是吗？