Proof of Fermat's Last Theorem