Theoremproving
[计] 定理证明
🗣️ 情景例句
Stop bugging me.
别烦我了。
All of us hope that you will enjoy yourselves.
我们全体人员祝大家过得愉快。
Where's my cup? Is that my cup?
我的杯子在哪儿？那是我的杯子吗？