theorem :: MATRIX14:16

for K being Field
for A being Matrix of 0 ,K holds A is invertible