Universal Property of the Integers