Description: Surreal one is a right identity element for multiplication. (Contributed by Scott Fenton, 14-Mar-2025)