Andrew John Wiles, United Kingdom