Theoremproving
[计] 定理证明
🗣️ 情景例句
Good. Thank you. I'll be right down.
好，谢谢你。我马上下来。
Love thy neighbours as thyself.
爱邻如爱己。
The basic model will cost about 10% less.
基本型的便宜约10%左右。