Ésta es una consecuencia de Fórmula de la traza de Lefschetz para el morfismo de Frobenius que