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