Dyson's Lemma for polynomials in several variables (and the Theorem of Roth).
We study effectively the simultaneous approximation of n-1 different complex numbers by conjugate algebraic integers of degree n over ℤ(√-1). This is a refinement of a result of Motzkin [2] (see also [3], p. 50) who has no estimate for the remaining conjugate. If the n-1 different complex numbers lie symmetrically about the real axis, then ℤ(√-1) can be replaced by ℤ. In Section 1 we prove an effective version of a Kronecker approximation theorem; we start with an idea of H....