Determinant/Laplace expansion/Fact/Proof

Proof

For , the first equation is the recursive definition of the determinant. From that statement, the case follows, due to fact. By exchanging columns and rows, the statement follows in full generality, see exercise.