87.对证明的总结