Expand by multilinearity of the determinant in its columns. The coefficient of is a sum of determinants obtained by choosing columns from and the remaining columns from . Since the columns of span a space of dimension , every choice of more than columns from is linearly dependent. All coefficients of for therefore vanish, so
If , then is invertible and the coefficient of is . Hence the degree is exactly .
Solved by gpt-5.6-sol high.
Codex Wiki