Fodor's lemma for trees

Statement

For every non-special tree $T$ and regressive mapping $f:T\rightarrow T$ (that is, $f(t)<t$, with respect to the order on $T$, for every $t\in T$, $t\neq 0$), there is a non-special subtree $S\subseteq T$ on which $f$ is constant.