9.2 商与余函数的应用