for absolute constants C6, C7. This theorem (almost) follows from [EV, Theorem 1.1], the only point being to control the dependence of implicit constants on the degree of the number field. We refer to [EV] for further information and for some motivational comments about the method. In the proof C1, C2, . . . will denote certain absolute constants. A.2. Let K be an extension of Q of degree d ≥ 2...