To prepare this theorem we have concluded that every vector can be described as a finite linear combination of basisvectors:
Below is the proof of the theorem, I have highlighted the part that I don't understand:
Can someone explain me why $B_{u+v}\subseteq B_{u}\cup B_{v}$? I also don't understand how this implies $\sum_{b\in B_{u+v}}c_{u+v}(b)w_b=\sum_{b\in B_u}c_u(b)w_b+\sum_{b\in B_v}c_v(b)w_b$




Because of the unicity of the coordinates in one basis. You can either directly decompose $u+v$, or decompose separately $u$ and $v$ and sum the result. However in both cases you get the same coordinates!