state-euclids-division-lemma-is-euclids-lemma-is-used-for-is-greater-than-b-as-a-bqr-then-which-of-abor-r-is-necessarily-zero