解方程后，进行验算是一个重要的步骤，以确保解的正确性。以下是验算的基本步骤：
代入未知数：
将解出的未知数值代入原方程的左右两边。
计算左右两边：
分别计算等号左右两边的结果。
比较结果：
检查左右两边的计算结果是否相等。
判断解的正确性：
如果左右两边相等，则该未知数的值是原方程的解；如果不相等，则该未知数的值不是原方程的解。
例如，如果解出方程 `2x - 12 = 36` 的解是 `x = 24`，则进行如下验算：
```
代入 x = 24 到原方程的左边：
2 * 24 - 12 = 48 - 12 = 36
代入 x = 24 到原方程的右边：
36
```
由于左边等于右边，所以 `x = 24` 是原方程的解。