Summation is Linear

Theorem
Let $\left({x_1, \ldots, x_n}\right)$ and $\left({y_1, \ldots, y_n}\right)$ be finite sequences of numbers of equal length.

Let $\lambda$ be a number.

Then: