for n being Nat
for A being Matrix of n,REAL st A is invertible holds
Det (Inv A) = (Det A) "