检验方程的解应当把求得的解代入( )