解一元一次方程的理论依据是什么?