Corolario 11.4.6 (Intervalos Anidados).