We prove Fermat’s Last Theorem for regular primes and give some of the necessary background. It uses [ Sam70 , Mar18 , Was82 ] .