For , the determinant isForany nonzero term in the Leibniz formula for determinants must match every row in the lower block to a column in the block. The remaining upper rows must then match the columns. The sum consequently factors into the determinant sums for the two diagonal blocks:
Solved by gpt-5.6-sol high.
Codex Wiki