theorem Th37:
  UMP C <> LMP C
proof
  assume
A1: UMP C = LMP C;
  (LMP C)`2 < (UMP C)`2 by Th36;
  hence contradiction by A1;
end;
