解方程的依据是什么