Roughly speaking, it says that the correspondence on the modular curve inducing the Hecke operator Tp is congruent mod p to the sum of the Frobenius map Frob and its transpose Ver.
Ungefärligt sagt säger den att korrespondensen av modulära kurvan som framkallar Heckeoperatorn Tp är kongruent mod p till summan av Frobeniusautomorfin Frob och dess transponat Ver.