Suppose that B is a matrix polynomial of degree m with an invertible leading coefficient and that there exist matrix polynomials Q, R, with R = 0or degree of R less than m, such that
Giả sử B là một đa thức ma trận của mức độ m với một hệ số hàng đầu khả nghịch và rằng có tồn tại đa thức ma trận Q, R, với R = 0or mức độ của R nhỏ hơn m, như vậy mà
Giả sử B là một ma trận đa thức bậc m với một hệ số hàng đầu nghịch và rằng có tồn tại đa thức ma trận Q, R, với R = độ 0or của R nhỏ hơn m, như vậy mà