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