theorem :: CGAMES_1:37

the_Tree_of ConwayZero = {ConwayZero} by Th2, ZFMISC_1:33;