No para todos los valores "x" e "y" que pertenecen a N, "x" - "y" pertenece a N, o lo que es lo mismo: