Equivalence of Definitions of Determinant

Theorem
Let $\mathbf A = \sqbrk a_n$ be a square matrix of order $n$.

Proof
This is proved in Expansion Theorem for Determinants.