Let $f_1, \dots, f_N : \mathbb{R}^K \to \mathbb{R}^H$ each be an D3997: Even euclidean real function such that

(i)	$\sum_{n = 1}^N f_n$ is the D4344: Pointwise function sum of $f_1, \dots, f_N$

Then $\sum_{n = 1}^N f_n$ is an D3997: Even euclidean real function.