polygonal number theorem