Prove or disprove: If $U_1, U_2, W$ are subspaces of a vector space $V$ satisfying $U_1 \bigoplus W = U_2 \bigoplus W$, then $U_1=U_2$.
My first thought is that this statement is true. Since $U_1 \bigoplus W = U_2 \bigoplus W$, then $U_1+W=U_2+W$ which means $U_1=U_2$. Is that all I need to do?
