Theoremproving
[计] 定理证明
🗣️ 情景例句
I was relieved of my position.
我被撤职了。
He is watching the sea on the mast.
他从桅杆上面眺望着大海。
He gets into the lift. It takes him down to the first floor.
他进入电梯。他乘电梯下到1楼。