2022.10.31张宗余+寻找数学的理性回归，加强代数推理