Fermat's Last Theorem: Johann Dirichlet