Let $f:X \to Y$ a surjective smooth proper map between Noetherian schemes and $F$ a locally constant sheaf on small etale site of $X$. **Question:** Refering to Donu Arapura's answer [here][1], how to see that the higher direct image sheaves $R^if_* F $ are locally constant? ( it was stated there for an *Abelian* constant sheaf, but is the Abelian group sheaf structure really crucial? Intuitively that reminds me on Ehresmann's classical theorem that such smooth surj proper $f$ must be already a bundle, so it is expected that it should behave very "nice" with direct images. But I nowhere in literature on EC found a proof of this statement on locally constance of $R^if_* F $. Is it immediate after certain sophisticated observation (which I missed to make up to now)? [1]: https://mathoverflow.net/q/32717