Los dos teoremas que llevan actualmente su nombre, enunciados en 1873 y 1875 respectivamente son sus contribuciones más importantes.