验算

check one’s calculations