theorem Th20: :: HAHNBAN:20

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