theorem :: MATRIXR2:82

for n being Nat
for A being Matrix of n,REAL st A is invertible holds
Det A <> 0