theorem :: NUMPOLY1:47

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