Pollock tetrahedral numbers conjecture