where a 0 is the leading coefficient of the minimal polynomial of α (over Z ) and (α (j) ) 1≤j≤n are the conjugates of α. Let A 1 and A 2 be real numbers greater than 1 with log A i ≥ max { h(α i ), |log α i | D , 1 D } , for i ∈ {1,2}, where D is the degree of the number field Q (α 1 , α 2 ) over Q .