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