Let α be a positive irrational real number, and let fα (n) = [(n + l)α] — [nα] — [α],n > 1, where [x] denotes the greatest integer not exceeding x. It is shown that the sequence fα has a certain 'substitution property' if and only if α is the root of a quadratic equation over the rationals.