W1,W2,W3は線形空間とします。
　・W1⊂W2のとき、W1+W3⊂W2+W3
　・(W1∩W3)⊂(W1+W2)∩W3
の２つは、普通どちらも自明なものとして証明無しで使ってもよいものでしょうか？
判断はある程度人によるかもしれませんが。