:: deftheorem defines TriangularNumbers NUMPOLY1:def 10 :
TriangularNumbers = PolygonalNumbers 3;