for n being Nat
for A, B being Matrix of n,REAL holds Det (A * B) = (Det A) * (Det B)