Schanuel's lemma

Schanuel's lemma is a result in model theory, particularly in the context of the theory of algebraically closed fields. It provides a criterion for determining the transcendence of elements over algebraically closed fields.