theorem
  Polygon (s,2) = s;
