Universal Property of the Free Product with Amalgamation