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