Additive Inverse Property Of Equality