Determinant/Laplace expansion/Fact/Proof

Proof

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

To fact