При доказательстве трансцендентности чисел Гельфонд А.О. использовал лемму, которая утверждает, что два целочисленных полинома без общих корней не могут одновременно принимать слишком малые ненулевые значения в одной точке. Позже эта лемма была усилена Берником В.И. и Тищенко К.И. Сформулирована теорема, усиливающая описанные результаты, с использованием производных более высоких порядков на базе многочленов с разными оценками степени и высоты.