Talk:Eichler–Shimura congruence relation