除法定理

division theorem