theorem Th18: :: CGAMES_1:18

for x being set
for g being ConwayGame st ( x in the_LeftOptions_of g or x in the_RightOptions_of g ) holds
x is ConwayGame-like left-right