Aslında (ben de yeni farkettim) A∩[0,1]≠∅ ve B∩[0,1]≠∅ koşulu gerekir. (Aksi halde A=(−1,2), B=(3,4) gibi örnekler bulunur)
0∈A olsun.s=inf([0,1]∖A) olsun. A nin açık oluşundan, s∉A olacağından s∈B olur, B nin açık oluşundan A∩B≠∅ elde edilir. Çelişki.