theorem :: SURREALN:77

for x being Surreal st x is No_ordinal holds
ex A being Ordinal st x == No_uOrdinal_op A