for V being RealLinearSpace
for L being Linear_Combination of V holds Carrier (- L) = Carrier L by Th42;