theorem Th55: :: TREES_1:56

NAT , TrivialInfiniteTree are_equipotent