Talk:Pollock tetrahedral numbers conjecture