Another example from Math Underflow:

We can prove Fermats Last Theorem for $n=3$ by a simple application of Nagell-Lutz (to compute the torsion subgroup) then Mordells Theorem (to see that the group must be $\mathbf{Z}^r \times \mathbf{Z}/3\mathbf{Z}$) then to finish Gross-Zagier-Kolyvagin theorem (which gives $r = 0$) - and that shows it has no nontrivial solutions. I beleive a similar approach works for $n=4$.

Another example from Math Underflow:

We can prove Fermats Last Theorem for $n=3$ by a simple application of Nagell-Lutz (to compute the torsion subgroup) then Mordells Theorem (to see that the group must be $\mathbf{Z}^r \times \mathbf{Z}/3\mathbf{Z}$) then to finish Gross-Zagier-Kolyvagin theorem (which gives $r = 0$) - and that shows it has no nontrivial solutions. I beleive a similar approach works for $n=4$.