rng <%s%> = {s} by AFINSQ_1:33;
hence <%s%> is surreal-valued ; :: thesis: verum