theorem
  the MIDPOINT of Example = op2;
