theorem :: NUMPOLY1:47

for s being 4 _or_greater Nat
for x being non zero b₁ -gonal number st s <> 2 holds
Polygon (s,(IndexPoly (s,x))) = x