原文:17.除法的验算