Baker's theorem

lower bound for absolute value of linear combinations of logarithms of algebraic numbers