Uniqueness of Identity and Inverses