Theoremproving
[计] 定理证明
🗣️ 情景例句
I guess we'll have to exchange it, too.
我想我们还得去换一件。
You're a attractive girl.
你是一个有魅力的女孩。
I am busy. How is your business？
我很忙。你的生意做得怎样？