theorem Th34: :: NUMPOLY1:34
for s being non zero Nat
for x being non zero b1 -gonal number st s >= 4 holds
IndexPoly (s,x) in NAT