:: deftheorem defines SquareNumbers NUMPOLY1:def 11 :
SquareNumbers = PolygonalNumbers 4;