x in Day (born x) by SURREAL0:def 18;
hence - x is surreal by Lm1; :: thesis: verum