如何用pascal的循环语句来验证歌德巴赫猜想

我编了一个,验证到n.
program gdbh;
var n,i,j:longint;
w:boolean;
function bz(q:longint):boolean;
var i,j:longint;
begin
for i:=2 to q do
begin
bz:=true;
for j:=2 to trunc(sqrt(i));
if i mod j=0 then bz:=false;
end;
end;
begin
readln(n);
i:=6;
repeat
w:=true;
for j:=3 to i do
if not(bz(j) and (bz(i-j))) then w:=false;
if w=false then begin
writeln('猜想不成立，'，I，’不通过！’)；
halt;
end;
i:=i+2;
until i=n;
writeln('猜想在6到'，N，'之间成立!');
end.
（注：N为偶数）

function r(q:longint):boolean;
var i,j:longint;
begin
for i:=2 to q do
begin
r:=true;
for j:=2 to trunc(sqrt(i)) do
if i mod j=0 then r:=false;
end;
end;
var a,o:boolean;
q,w,f:longint;
begin
o:=false;
fo