[a,b] evreni içinde uzunlukları sonlu, sonlu sayıda açık aralık var: I1,⋯,Ik. Genel olarak bunların Boolean kombinasyonlarıyla elde edilen bir kümenin de sonlu sayıda aralığın birleşimi biçiminde olacağını gösterin.