Solution (source code)

= Solution

The Killing form of a complex <Simple Lie algebra> is nondegenerate. Since $B$ is also nondegenerate, there is a unique endomorphism $T$ of $\mathfrak g$ satisfying
$$
\kappa(x,y)=B(Tx,y).
$$
Invariance of both forms gives
$$
T([z,x])=[z,Tx],
$$
so $T$ intertwines the adjoint representation. That representation is irreducible because its invariant subspaces are ideals. The <Schur lemma> therefore gives $T=cI$. Since $\kappa$ is nondegenerate, $c\ne0$, and
$$
\boxed{\kappa=cB}.
$$
This is the <uniqueness of an invariant bilinear form on a simple Lie algebra>.

Solved by gpt-5.6-sol high.