In dieser Formulierung ist der Satz scharf: keiner der neun Werte kann aus der Liste entfernt werden, da man stets eine quadratische Form angeben kann, die jede ganze Zahl bis auf eine einzelne Zahl der Liste annimmt.