When looking for some proof, most of the rules offer more or less direct recipes of how to do this.
在查找某个证明的时候，多数规则提供或多或少的如何做的处方。