שינויים
אם $V=U_1\oplus\cdots\oplus U_k$, ולכל $i=1,\dots,k$ נתונים תתי-מרחבים $V_i,W_i\subseteq U_i$, אזי:
$\left(V_1\oplus\cdots\oplus V_k\right)\cap\left(W_1\oplus\cdots\oplus W_k \right )=\left(V_1\cap W_1 \right )\oplus\cdots\oplus\left(V_k\cap W_k \right )$
\textit{הוכחה:}
$\boxed{\subseteq}$
יהי $z\in\left(V_1\oplus\cdots\oplus V_k\right)\cap\left(W_1\oplus\cdots\oplus W_k \right )$.
לכן $z=v_1+\cdots+v_k$ וכן $z=w_1+\cdots+w_k$.
קיבלנו שמתקיים $\underbrace{v_1}_{\in U_1}+\cdots+\underbrace{v_k}_\in{U_k}=
מצד שני, $u_i\in W_i$ לכל $i$, ולכן $z\in W_1\oplus\cdots\oplus W_k$.
בסך הכל, $z\in\left(V_1\oplus\cdots\oplus V_k\right)\cap\left(W_1\oplus\cdots\oplus W_k \right )$.
משתמש אלמוני
