  In this paper, we use two-variable Laurent polynomials attached to matrices
to encode properties of compositions of sequences. The Lagrange identity in the
ring of Laurent polynomials is then used to give a short and transparent proof
of a theorem about the Yang multiplication.
