Proposición 11.3.5 (Cerrados Anidados).