Multivariate Division Lemma