 The theorem is weaker than the related but thus far unproved four exponentials conjecture, whereby the strict inequality "dl" > "d" + "l" is replaced with "dl" ≥ "d" + "l", thus allowing "d" = "l" = 2.The theorem can be stated in terms of logarithms by introducing the set "L" of logarithms of algebraic numbers