Если n небольшие, то можно написать так:
var
x, y, z, n: integer;
disproved: boolean;
begin
write('Введите n: ');
readln(n);
disproved := false;
for x := 1 to 100 do
for y := 1 to 100 do
for z := 1 to 100 do
if power(x, n) + power(y, n) = power(z, n) then
begin
writeln('Ферма ошибся! ', x, ' ^ ', n, ' + ', y, ' ^ ', n, ' = ', z, ' ^ ', n);
disproved := true;
end;
if not disproved then
writeln('Теорема не опровергнута');
end.
При больших n уже придётся использовать длинную арифметику.