Description: Lemma for noeta . Establish that our final surreal really is a surreal. (Contributed by Scott Fenton, 6-Dec-2021)