İddia BU ŞEKLİ İLE (içiçe aralık sistemi derken alt küme olmak dışında fazladan bir koşul konmamış ise) yanlış.
örnek: $I_n=[n,+\infty),\ (n\in\mathbb{N})$ olsun, Her $n\in\mathbb{N}$ için $I_{n+1}\subset I_n$ olur ama $\displaystyle\bigcap_{n\in\mathbb{N}} I_n=\emptyset$
İddiaya bir de aralıkların SINIRLI olduğu varsayımı eklenirse doğru oluyor (murat.ozkoc un çözümündeki gibi)