theorem Th44: :: TREES_9:44

for T being Tree holds T -level 0 = {{}}