This result states that let , let be a prime with , and let On the open modular curve the Hecke correspondence defined by the moduli rule agrees with the correspondence induced by the double coset Equivalently, for every representing the... It places Double Coset Description of the Hecke Correspondence on in the framework of modular forms and Galois representations.