El teorema establece que cada una de esas propiedades es, en la línea real,