Universal Property of Verma Modules