theorem Th69: :: SURREALN:69

for A being Ordinal
for x being Surreal st x in Day A holds
x <= No_Ordinal_op A