if é ortogonal and (autovalor complexo), mostre que