Todo espaço métrico completo é um espaço de Baire.