El teorema de Bolzano-Weierstrass nos dice que toda sucesión acotada tiene una subsucesión convergente. Vemos cómo se utiliza para lograr hacer demostraciones, ya que, más que aplicarse a sucesiones concretas, constituye una herramienta teórica.