we used only these rules to arrive at equations (3.11) and (3.13),and they determine D(A)
since the expansion by minors (3.4) satisfies (3.5),it agree with (3.13)
we will now return to our usual notation det A for the determinant of a matrix
corollary.asquare matrix A is invertible if and only if
this follows from formulas
by (3.11),for all I
thus if B is as in (3.13),thendet A=0 if and only if det B=0,which is the case if and only if B=I
by(2.18),B=I if and only if A is invertible