Elementary differences among jump classes

It is shown that holds for every n>1, where is the upper semi-lattice of all computably enumerable (c.e.) degrees for m>0, giving a first elementary difference among the highness hierarchies of the c.e. degrees.