He proved Wilson's theorem that (for any integer n > 1): n is a prime if and only if (n − 1)! + 1 is a multiple of n, 1771.
Απέδειξε θεώρημα του Wilson ότι n είναι πρώτος αν και μόνο αν (n - 1)!+1 είναι πολλαπλάσιο του n, 1771.