A set of finite Trees over a Well-Quasi-Ordered set of labels is well-quasi-ordered under Homeomorphic Embedding. Ideas TREE(3)