This result establishes quadratic Casimir Element of a Semisimple [Lie Algebra](/page/Lie%20Algebra). It identifies a precise structural fact about Lie groups that is used to move between group operations, smooth manifold structure, and infinitesimal data.