En 1691, Michel Rolle publicó la primera demostración formal conocida, que no usa el cálculo diferencial.