reserve i,j for Nat;

theorem
  for K being Ring,M1,M2 being Matrix of K holds M1--M2=M1+M2 by Th1;
