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.
Później Stark wskazał, że dowód Bakera, korzystający z liniowych postaci 3 logarytmów, można zredukować do tylko 2 logarytmów, co było znanym wynikiem od 1949 dzięki Gelfondowi i Linnikowi.