Pollock octahedral numbers conjecture