A disjoint unions theorem for trees

We prove an infinitary disjoint unions theorem for level products of trees. To implement the proof we develop a Hales-Jewett type result for words indexed by a level product of trees.