Question: Rewrite Euclid's division theorem, using the notation above for statements about variables. Leave out the references to universes so that you can see clearly the order in which the quantifiers occur. The form of Euclid's division theorem is ∀m(∀n(∃q(∃r(p(m, n, q, r))))).