theorem :: NUMPOLY1:39

for n, s being Nat holds CenterPolygon (s,n) = (s * (Triangle (n -' 1))) + 1