prove that any symmetric bilinear form on g which is ad g-invariant is a scalar multiple of the killing form of g.