theorem Th55: :: HERMITAN:55

for V, W being non empty ModuleStr over F_Complex
for f being Form of V,W holds
( leftker f = leftker (f *') & rightker f = rightker (f *') )