Fermat polygonal number theorem

GPTKB entity