theorem Th27: :: NUMPOLY1:27

for n, s being Nat st s >= 2 holds
Polygon (s,n) is natural