Description: Distribution of surreal multiplication over subtraction. (Contributed by Scott Fenton, 9-Mar-2025)