解方程的依据是