theorem Th23: :: HERMITAN:23

for V being non empty ModuleStr over F_Complex
for f being Functional of V holds ker f = ker (f *')