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