theorem :: MATRIX_6:13

for n being Nat
for K being Field
for M being Matrix of n,K st M is invertible & n > 0 holds
(M @) ~ = (M ~) @