theorem
  for R being Ring, a being Element of R
  holds (n,n)-->a is symmetric by Th21;
