theorem Th7: :: SURREALO:7

for A being Ordinal st A is finite holds
Day A is finite