第7章:如何证明