In transcendence theory, a mathematical discipline, Baker's theorem gives a lower bound for linear combinations of logarithms of algebraic numbers.