Krasner's lemma

Krasner's lemma is a result in the field of number theory, specifically dealing with linear forms in logarithms of algebraic numbers. It provides conditions under which a certain linear combination of logarithms can lead to a rational approximation or a specific form of representation. The lemma is often used in Diophantine approximation and transcendency theory.