El teorema fue demostrado por primera vez por Bernard Bolzano en 1817.