Addition Properties Of Equality