撩开“漂亮”证明的面纱——漫谈“综合法”与“分析法”