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