Каковы особенности записи и работы цикла for?

Program n_1;

var i, b, k, y, j:integer; a, c: array [1..2000] of integer;

begin

   y:=1;

   writeln('Введите числа');

   for i:=1 to 2000 do read(a[i]);

   writeln;

   writeln ('Числа, состоящие из 2 разрядов:');

   for i:=1 to 2000 do begin

       b:=a[i];

       k:=0;

       while b>0 do

           begin

           b:=b div 10;

           k:=k+1;

       end;

       if k=2 then write(a[i], ' ');

       if k=3 then begin

           b:=(a[i] mod 10) + ((a[i] div 10) mod 10) + ((a[i] div 100) mod 10);

           if (b mod 3)=0 then begin

               c[y]:=a[i]; y:=y+1;

           end;

       end;

   end;

   for i := 1 to y-1 do

       for j := 1 to y-i do

       if c[j]<c[j + 1] then begin

           k:=c[j];

           c[j]:= c[j+1];

           c[j+1]:=k;

       end;

   writeln;

   writeln ('Числа, состоящие из 3 разрядов и кратные 3:');

   for i:=1 to y-1 do write(c[i], ' ');

end.

У нас сказано, что только из утверждений могло быть верным.

Если первое утверждение верное (у Ани синяя флешка), то у Маши она не синяя и второе утверждение тоже является истинным - данный вариант. нам не подходит.

Если у Ани красная флешка, то у Маши либо синяя, либо белая, а у Вари либо белая, либо синяя флешка. В одном случае у нас 0 правильных суждений, а во втором - два. Варианты не подходят.

Значит у Ани белая флешка. Поэтому у Вари не белая - данное (3) суждение верное. Если у Вари синяя флешка, то у Маши - красная. Два верных суждения - не подходит. Если у Вари красная, то у Маши - синяя и у нас 1 верное суждение.

Аня - белая флешка

Маша - синяя флешка

Варя - красная флешка