[math-fun] Factorizations of 1 + n + n^2