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.
