ディオファントス方程式
で与えられることを証明した。さらに彼は、（元のディオファントス方程式の非常に良い近似である）formula_13が"f"("t") = arcosh(3"t"/2)に対してformula_14と書けることを示した。