The existence of a real form in a complex Lie algebra formula_18 implies that formula_18 is isomorphic to its conjugate; indeed, if formula_20, then let formula_21 denote the formula_22-linear isomorphism induced by complex conjugate and then