theorem :: NUMPOLY1:33

for s being non zero Nat
for x being non zero b₁ -gonal number st s >= 4 holds
(((8 * s) - 16) * x) + ((s - 4) ^2) is square