This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
We prove that sums of the form with f(X), g(X) ∈ ℤ[X] can be explicitly computed whenever f and g are subject to some certain conditions which are defined in the paper.