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