Description: Cancellation law for vector addition. (Contributed by NM, 18-May-2005) (New usage is discouraged.)