In any commutative ring A with unit, Büchi sequences are those sequences whose second di erence of squares is the constant sequence (2). Sequences of elements xn satisfying x2 n = (x + n)2 for some xed x are Büchi sequences ...