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 = 0 or 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 = 0 hoặc 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 = 0 hoặc bậc của R nhỏ hơn m, như vậy mà