theorem Th12: :: SURREAL0:12

for A, O being Ordinal
for R being Relation
for o being object st o in Games O & not o in Day (R,O) holds
not o in Day (R,A)