Theoremproving
[计] 定理证明
🗣️ 情景例句
a way to encourage reading.
鼓励阅读的办法。
Scratch my back and I'll scratch yours.
朋比为奸。
It was very dark, so they turned on a torch.
饭厅很暗，于是他们打开了手电筒。