His papers of 1773, 1775, and 1777 gave demonstrations of several results enunciated by Fermat, and not previously proved.
Τα έγγραφα του από το 1773, 1775 και 1777 έδωσαν την γραμμή πλεύσης πολλών αποτελεσμάτων που διατυπώνονται από τον Fermat, που στο παρελθόν δεν είχαν αποδειχθεί.