İ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: In=[n,+∞), (n∈N) olsun, Her n∈N için In+1⊂In olur ama ⋂n∈NIn=∅
İddiaya bir de aralıkların SINIRLI olduğu varsayımı eklenirse doğru oluyor (murat.ozkoc un çözümündeki gibi)