Eliminate [{S==4 n^2 (n + 1)^2 (2 n^4 + 4 n^3 - 2 n + 1), x==(n^2+n)/2},n]