再来看看使用相似的证明方法