原文:4.3 除法的验算