we have the fermat polygonal theorem and pollock’s polyhedral numbers conjecture. can we generalise this into the n-polytopal conjecture?