A⊆τ ve R=∪A yani A ailesi, R gerçel sayılar kümesinin bir τ-açık örtüsü olsun. (∅∉A olduğunu varsayabiliriz. Neden?)
A∈A⇒|∖A|<ℵ0⇒(∃x1,x2,…,xn∈R)(∖A={x1,x2,…,xn})
⇒(∃x1,x2,…,xn∈R)(R=A∪(∖A)=A∪{x1,x2,…,xn})R=∪A}⇒
⇒(∃B1,B2,…,Bn∈A)(x1∈B1)(x2∈B2)…(xn∈Bn)A∗:={A,B1,B2,…,Bn}}⇒
⇒(A∗⊆A)(|A∗|=n+1<ℵ0)(R=∪A).