theorem
  Polygon (2,n) = n;
