Todo espacio metrizable tiene una base numerable localmente finita.