theorem Th1: :: HERMITAN:1

for a being Complex st a = a *' holds
Im a = 0