 Linear form in logarithms of algebraic numbers

Baker's theorem gives transcendence and quantitative nonvanishing results for such logarithmic forms.

A homogeneous linear form in logarithms of nonzero algebraic numbers has the form