Wiles' proof of Fermat's Last Theorem