Proposición 11.5.3 (Bolzano–Weierstrass en R).