困证明是一种证明方法，通常用于证明一个命题的否定。在写困证明时，需要先假设命题为真，然后通过推理和论证，得到一个矛盾的结论，从而证明原命题的否定。

下面是困证明的写作模板：

1. 首先，明确要证明的命题及其否定。

2. 假设命题为真，即假设命题的前提条件成立，结论也成立。

3. 列出前提条件，并根据逻辑关系进行推理和论证，得出结论。

4. 检查结论是否与已知事实或公理矛盾。

5. 如果结论与已知事实或公理矛盾，则说明假设的命题为假，即原命题的否定成立。

6. 如果结论与已知事实或公理不矛盾，则说明推理过程出现了错误，需要重新检查前提条件和推理步骤。

需要注意的是，在困证明中，要遵循逻辑严密、推理清晰的原则，以确保证明的有效性。同时，还要注意使用正确的逻辑符号和量词，避免出现歧义或误导。