Theoremproving
[计] 定理证明
🗣️ 情景例句
I can't wait to get home and relax.
我想马上回家休息一下。
There is safety in numbers.
人多势众。
Members of the press weren't allowed into the meeting.
新闻记者不得进入会场。