theorem Th12: :: HERMITAN:12

for a being Element of F_Complex st Im a = 0 holds
a = a *'