for K being Field
for n being Nat
for A being Matrix of n,K st n >= 1 & A is V196(b₁) holds
Det A = the multF of K $$ (diagonal_of_Matrix A)