Cohomological dimension in pro-$p$-towers

We give a proof without use of perfectoid geometry of Scholzes’ vanishing theorem of 'etale cohomology with ${\mathbb{F}}_p$-coefficients beyond the dimension of projective varieties in a specific pro $p$-tower in characteristic not equal to $p$. Final version.