Probaremos, más adelante que los Reales son un espacio completo.