Ribet's theorem
Result concerning properties of Galois representations associated with modular forms