theorem Th36:
  M1 c= M2 implies [#]M1 c= [#]M2
proof
  assume
A1: M1 c= M2;
  let x be object;
  assume x in [#]M1;
  then x in M1;
  then x in M2 by A1,Th14;
  hence thesis;
end;
