Es decir, uno puede imitar la construcción de los números negativos; pero está la otra opción de un teorema de existencia.