theorem Th14: :: MATRIX_6:13

for n being Nat
for R being commutative Ring
for M being Matrix of n,R st M is invertible holds
( M @ is invertible & (M @) ~ = (M ~) @ )