Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
It's a wonderful opportunity, Richard.
这是一个好机会 Richard。
If he doesn't, will you eat some?
如果他不，你会吃一些吗？
In a long drop, they reach speeds of 60 miles an hour and more.
在一个长长的跌落过程中，它们可以达到每小时60里甚至更快的速度。