theorem :: NUMPOLY1:38

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