theorem Th21: :: TREES_1:22

for T being Tree holds
( {} in T & <*> NAT in T )