证明方法中的几种方法