Demostrar que existe un subconjunto $S$ de enteros positivos tal que podemos representar cada entero positivo como la diferencia de dos elementos de $S$ de exactamente una manera.