theorem
  for R being Ring, M1,M2 being Matrix of n,R
  st M1 is symmetric & M2 is symmetric holds M1+M2 is symmetric by Th24;
