This result states that let , and let be a weight newform of level with nebentypus equal to . Let be the coefficient field of , let be a prime of above , and let with . Assume that divides exactly once. If is irreducible and is unramified... It places Ribet's Level-Lowering in the framework of modular forms and Galois representations.