for s being Nat holds CenterPolygon (s,0) = 1 ;