theorem Th17: :: CGAMES_1:17

for x being set
for g being ConwayGame st x in the_Options_of g holds
x is ConwayGame-like left-right