Die Äquivalenz von (1) und (2) wurde allgemeiner in Fakt bewiesen, für die Existenz einer abzählbaren Basis siehe Aufgabe. Die Äquivalenz von (2) und (3) ist klar. Die Äquivalenz von (3) und (4) wurde in Fakt gezeigt.
