Which British mathematician proved Fermat's Last Theorem in the 1990s?

• Richard Taylor
• Gerd Faltings
• Goro Shimura
• Andrew Wiles

Without sign-in, only this one question.