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