Desde luego, no fue el primero en descubrir este teorema, pero sí fue el primero en dar una demostración y, por primera vez utilizó la denominación aún hoy en uso.