奔驰定理的两种证明方法比较