 reserve n,s for Nat;

theorem
  CenterPolygon (s,0) = 1;
