theorem :: NUMPOLY1:29

for s being Nat holds Polygon (s,1) = 1 ;