theorem Th4: :: CGAMES_1:4

for g being ConwayGame holds g is strict left-right