[ not: “substract''
Since Z is a finite set, we may continue subtracting suitable scalar multiples of the xi from x.