1976年、は超越数論のベイカーの方法を適用して "a", "b" の境界を定め、 "x," "y" を "a,b" で制限する既存の結果を用いて、 "x," "y," "a," "b" の有効な上限を与えた。