Anti-basis theorems for higher Aronszajn lines, part 6

Let lambda be a regular uncountable cardinal that is non-ineffable, and consider the class C of all special lambda^+-Aronszajn trees ordered by the relation of weak embeddability. We shall prove that the if above class is nonempty then it moreover contains a copy of (lambda^+,\subseteq).