Existence and Uniqueness of the Radical of a Finite-Dimensional Lie Algebra