theorem Th36: :: NUMPOLY1:36

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