[math-fun] Triangular+Triangular = Factorial