Todo espacio que cumpla el segundo axioma de numerabilidad cumple automáticamente el primero.