验算是要写两种算式吗?什么是验算?