theorem Th19: :: HERMITAN:19

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