Universal Property of the Universal Enveloping Algebra