pascal abc. через repeat until проверить 1+2+3...+n=(n*(n+1))/2

input (n);
i:=1;
s1 = 0;
s2:=0;
repeat
begin
s1 := s1 + i;
i:=i+1;
end
until( i<=n)
s2 := (n*(n+1))/2;
writeln (s1);
writeln (s2);

ReadLn (n);
i:=1; s:= 0;
repeat
s := s + i;
i:=i+1;
until( i>n);
WriteLn (s,'=',n*(n+1)/2);