:: deftheorem Def4 defines -gonal NUMPOLY1:def 4 :
for s being natural Number
for x being object holds
( x is s -gonal iff ex n being Nat st x = Polygon (s,n) );