reserve i,j for Nat;

theorem
  for K being Ring,M being Matrix of K holds M - M=0.(K,len M,width M) by Th2;
