Proposición 11.5.2 (Teorema de Heine–Borel para la Línea Real).