Theorem proving
[计] 定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
His number is five, five, five, seven, five, three, two.
他的号码是5557532。
Which would you rather do--go dancing or go to a play?
你将去跳舞还是去看戏？
She was totally exhausted.
她累垮了。