fermats polygonal number theorem