division transformation

基本解释有剩余的除法