wǒ / men / kě / yǐ / xiān / jiǎ / shè / jié / lùn / bù / chéng / lì / zài / yòng / fǎn / zhèng / fǎ / wán / chéng / zhèng / míng

我们可以先假设结论不成立，再用反证法完成证明。

We can first assume that the conclusion is false and then complete the proof by contradiction.