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