theorem Th3: :: CIRCLED1:3

for V being RealLinearSpace
for M1, M2 being Subset of V
for r1, r2 being Real st M1 is circled & M2 is circled holds
(r1 * M1) + (r2 * M2) is circled