It was "proved" in 1961 that the first right derived functor, $\lim^1_{\leftarrow}$ of the inverse limit functor is zero on Mittag-Leffler systems.