Ich formuliere den Oswald-Beweis von
\(U\cup W\) Vektorraum \(\Rightarrow U\subseteq W\vee W \subseteq U\)
mal in meinen eigenen "Worten":
Nehmen wir an, dass weder \(U\subseteq W\), noch \(W\subseteq U\)
gälte, wohl aber \(U\cup W\) ein Untervektorraum.wäre.
Dann gäbe es \(u\in U\backslash W\) und \(w\in W\backslash U\).
\(U\cup W\) Vektorunterraum \(\Rightarrow u+w\in U\cup W\),
also \(u+w\in U\vee u+w\in W\).
Im ersten Fall folgt \(w=(u+w)-u\in U\), Widerspruch,
im zweiten Fall \(u=(u+w)-w\in W\), Widerspruch.