Stark later pointed out that Baker's proof, involving linear forms in 3 logarithms, could be reduced to only 2 logarithms, when the result was already known from 1949 by Gelfond and Linnik.
Старк позднее указал, что доказательство Бейкера, использующее линейные формы в 3 логарифмах, можно свести к 2 логарифмам, если бы результат был известен в 1949 Гельфонду и Линнику.