for V being RealLinearSpace
for L being additive Functional of V holds L . (0. V) = 0