zhèng míng / zhè ge / dìng lǐ / wǒ men / kě yǐ / shǐ yòng / bèi lǐ fǎ

证明这个定理，我们可以使用背理法。

To prove this theorem, we can use proof by contradiction.