545.推理代替方程