Proposición 10.2.1 (conectividad en la Línea Real).