写得挺好的

美国这边不太用 \because \therefore. 除了这个我觉得都没啥问题。

用反证法会写得更顺些。