Existence Theorem for Semisimple Lie Algebras with a Given Finite Type Cartan Matrix