A commutativity relation for submatrices of the inverse of a Sylvester matrix

We take the inverse of a Sylvester matrix of two coprime polynomials of degree m and study the family of m×m submatrices formed from consecutive columns of the bottom m rows. We prove that these matrices commute and in the course of the proof we find a similar relation for Bezoutian matrices related to the polynomials.