theorem Th9: :: BINTREE2:9

{0,1} * is Tree