division theorem