Ribet's Level-Lowering Theorem