证明的方法总结