theorem Th8: :: SURREAL0:8

for R being Relation holds Day (R,0) = Games 0