theorem :: MATRIX_7:15

for K being Ring
for n being Nat st n >= 1 holds
Det (0. (K,n,n)) = 0. K