Why can we change the order of "exists" and "for all"?

66 Views Asked by At

enter image description here

This is lemma 5 in section 12.2 from Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of an algebraic number field $F$, and $N(x)$ denotes the norm of $x$ with respect to $F/\mathbb Q$.

Why do we allow $M$ to be dependent on $\gamma$, if $M$ isn't dependent on $\alpha, \beta$?