自分ももっと簡単に証明できました
 x³+y³=z³
を
 x³+y³-z³=0
とします。左辺は 0 にならないので、自然数解を持たないことが示せました