Proposición 5.2.3 (Propiedades de las Vecindades).