This result states that let , and let be a primitive Fermat solution, meaning , , and . Choose the standard Frey normalization, after permuting and changing signs if necessary, in which is even and , and set . If the semisimplified residual... It places Ribet Level-Lowering for the Frey Curve in the framework of modular forms and Galois representations.