theorem
  Polygon (s,1) = 1;
