Notes on Fermat's Last Theorem