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 olsun. A nin açık oluşundan, s\notin A olacağından s\in B olur, B nin açık oluşundan A\cap B\neq\emptyset elde edilir. Çelişki.