theorem Th45: :: MATRIXR2:45

for n being Nat
for K being commutative Ring
for A, B being Matrix of n,K holds Det (A * B) = (Det A) * (Det B)