theorem Th3: :: MORPH_01:3

for E being RealLinearSpace
for A, B being Subset of E st B = the carrier of E & A <> {} holds
( A (+) B = B & B (+) A = B )