Доказать тождественную истинность

program corablik; uses Graph, Crt; var   grDriver: integer;   grMode: integer;   ErrCode: integer;   x,y,y0,a,b: integer;{a,b-переменные для линии моря, чтоб они не зависели от х,у}  procedure more(a,b:integer); begin moveto(0,y0); setcolor(blue); for a:=0 to 680 do{слева направо рисуем синусоиду синего чвета}   begin   b:=y0-round(sin(a*pi/180)*30);{30-коэффициент масштабирования по оси Х, чем больше, тем волна круче}   lineto(a,b);  end; end;  begin   grDriver := Detect;   InitGraph(grDriver, grMode, '..\BGI');   ErrCode := GraphResult;   y0 := 250;   if ErrCode = grOk then   begin     x:=600;     while x>=0 do{лучше использовать цикл while, можно менять величину шага, что тоже влияет на скорость и частоту смены картинки}      begin       cleardevice;       more(a,b);{рисуем волну}       setcolor(white);{устанавливаем цвет кораблика}       y:=y0-40-round(sin(x*pi/180)*30);{движемся по волне}       MoveTo(x - 40, y + 20);       LineTo(x - 20, y + 40);       LineTo(x + 20, y + 40);       LineTo(x + 40, y + 20);       LineTo(x - 40, y + 20);       MoveTo(x + 15, y + 20);       LineTo(x + 15, y - 40);       LineTo(x - 20, y + 20);       LineTo(x + 15, y + 20);       delay(100); {нормальная скорость, если модули *.TPL не глючные как у Вас,  время должно быть в миллисекундах, а не в каких-нибудь наносекундах}       x:=x-2;{шаг движения}     end;   end   else Writeln('Graphics error: ', GraphErrorMsg(ErrCode));  Settextstyle(0,0,3);{устанавливаем стиль шрифта}  cleardevice;  setcolor(red);  OuttextXY(200,240,'Rejs zavershen!');{выводим надпись}  readln;  CloseGraph; end.

var  mas1, mas2: array[0..9] of integer;  t, k, i, j: integer; 
begin  
readln(t);  
readln(k);  
for j := 0 to 1 do  begin   
      if (j = 1) then writeln();        
                 for i := 0 to 9 do    begin      
                          if(j = 0) then begin       
                                  mas1[i] := random(100);        
                                    write(mas1[i], ' ');       
                                    if mas1[i] > t Then mas1[i] := mas1[i] + 4;      
                              end      
                            else 
                               begin       
                                      mas2[i] := random(100);        
                                      write(mas2[i], ' ');       
                                       if mas2[i] > 10 * K Then         
                                            mas2[i] := mas2[i] + K;      
                                end;    
                       end;       
                  for i := 0 to 9 do     
                         if (j = 0) then 
                               write(mas1[i]) 
                        else 
                                write(mas2[i]);    
               writeln();  
           end;  
readln();
end.

))