EVERY (k + 1)-AFFINE COMPLETE NILPOTENT GROUP OF CLASS k IS AFFINE COMPLETE

We let G be a group, and we let k be a natural number. We assume that G is nilpotent of class at most k, and that every (k + 1)-ary congruence preserving function on G is a polynomial function. We show that then every congruence preserving function on G (of any finite arity) is a polynomial function.