theorem Th14: :: CIRCLED1:14

for V being RealLinearSpace holds Cir ({} V) = {}