  The purpose of this expository note is to give a proof of a Schur-type
theorem that characterizes the inner functions in terms of their Taylor
coefficients. In view of Beurling's theorem, this provides a sequential
characterization of the shift-invariant subspaces of $\ell^2$.
