theorem Th1: :: CIRCLED1:1

for V being RealLinearSpace
for A, B being circled Subset of V holds A - B is circled