theorem Th12: :: CGAMES_1:12

for alpha being Ordinal
for g being ConwayGame holds
( g in ConwayDay alpha iff ConwayRank g c= alpha )