Classification Theorem for Finite-Dimensional Simple Lie Algebras