Theoremproving
[计] 定理证明
🗣️ 情景例句
He's a real two-timer.
他用情不专。
No, I can't go to bed till she says Good night to me.
不，除非她向我道晚安，不然我睡不着。
We might say that justice has been done when a man's innocence or guilt has been proved beyond doubt.
当某人被证据确凿地证明无罪的时候，我们也许会说正义得到了伸张。