Proposición 12.3.7 (Lema de la extensión de Tietze).