Theoremproving
[计] 定理证明
🗣️ 情景例句
Yes, sir.
是的 ，先生。
Beyond this ocean lies the rich subcontinent of India.
海的那一边有富饶的印度次大陆。
and he estimated that there were more than 2,250,000 in one acre;
他估计每英亩草坪里有225万多只蜘蛛。