In the statement above and the proof below, we use the notions from [1]}. In particular, we refer to an object of \(D^b(Y_{proet})\)  as classical if it is in the essential image of the (fully faithful) pullback along \(\nu :Y_{proet} \rightarrow Y_{et}\)  (see [1]}). Classical abelian sheaves on \(Y_{proet}\)  are thus equivalent to abelian sheaves on \(Y_{et}\)  and form an abelian Serre subcategory of all abelian sheaves on \(Y_{proet}\) .
