En realidad, fue demostrado por primera vez por Bolzano en 1817 como un lema en la demostración del teorema de valor intermedio.