“8/1×+8/7×=3”的验算