数学中的几何推理在解题过程中要重新证明吗?