His papers of 1773, 1775, and 1777 gave demonstrations of several results enunciated by Fermat, and not previously proved.
1773, 1775년, 그리고 1777년에 쓰여진 그의 저술들은 이전에는 증명되지 않았던 피에르 드 페르마의 몇몇 결과들에 대한 증명을 담고 있다.