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