x-4.8=0的验算是什么?