theorem :: NUMPOLY1:37

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