[{},{}] in Games 0 by Th2, TARSKI:def 1;
then [{},{}] in Day 0 by Th8;
hence [{},{}] is surreal ; :: thesis: verum