Clearly, for any i, j such that i + j = k, we have

.

However, the converse inclusion does not hold because the fact that f(x) + g(x) = k does not uniquely determine f(x) and g(x). The only thing that comes to mind when i, j and k are natural numbers is

.