Description: Associative-type law for surreal addition and subtraction. (Contributed by Scott Fenton, 6-Feb-2025)