theorem Th4: :: BINTREE2:4

for T being Tree st T = {0,1} * holds
Leaves T = {}