Todo espaço regular com base enumerável é metrizável.