  Deligne's conjecture is the Lefschetz trace formula for correspondences
defined over a finite field. In this paper, we prove an analogous statement of
Deligne's conjecture with respect to $p^n$-torsion \'etale cohomology under
certain conditions, where $p$ is the characteristic of the base field.
