The Stacks project

Remark 64.20.3. Since we have only developed some theory of traces and not of determinants, Theorem 64.20.1 is harder to prove than Theorem 64.20.2. We will only prove the latter, for the former see [SGA4.5]. Observe also that there is no version of this theorem more general for $\mathbf{Z}_\ell$ coefficients since there is no $\ell$-torsion.