5.4 证明方法