(-X*Y) + (X*Y) = additive_identity