theorem
  a,a equiv a,a
  proof
    (the Ratio of MS).(a,a) = (the Ratio of MS).(a,a);
    hence thesis by Def08a;
  end;
