He published important contributions to Fermat's last theorem, for which he proved the cases n=5 and n=14, and to the biquadratic reciprocity law.
Publicou importantes contribucións ao último teorema de Fermat, para o que probou os casos n = 5 e n = 14, e á lei de reciprocidade bicuadrática.