for s being Nat
for n being odd Nat st s >= 2 holds
n divides Polygon (s,n)