Este conjunto no es vacío, porque como vemos "-dc" se puede agrandar tanto como queramos, eso si, tomando "c" como un número entero que no sea negativo con un valor absoluto que sea grande, por la propiedad del buen orden, S tiene mínimo un elemento "r=a-dc".