Theoremproving
[计] 定理证明
🗣️ 情景例句
I enjoy writing.
我喜欢写作。
Behave yourself, or I'll shot.
乖乖听命，不然我就开枪。
Yet that is a rather trivial aspect of the matter.
这只是问题的一个次要的侧面。