theorem Th11: :: CIRCLED1:11

for V being RealLinearSpace
for M being Subset of V holds M c= Cir M