theorem
  CenterPolygon (0,n) = 1;
