WolframAlpha computational knowledge AI
C(n+4,2) = C(n,2)+18