Если произведение элементов, расположенных между первым и вторым положительными элементами кратно 3, то поменять эти элементы местами

Uses Crt;
Type Mas=Array[1..100]Of Integer;
Var i,M,t1,t2:Integer;
    A:Mas;
    b:Boolean;
 
Procedure SozdMas(Var A:Mas);
Var i:Integer;
Begin
Writeln('new massiv: ');
For i:=1 To M Do Begin
    A[i]:=Random(21)-10;
    Write(A[i]:3);
End; Writeln;
Writeln;
End;
 
Function Prov(A:Mas; Var nach,kon:Integer):Boolean;
Var i:Integer; Mn:LongInt;
Begin
Prov:=False;
Repeat
i:=nach+1; Mn:=1;
While (A[i]<0)and(i<M) Do Inc(i);
If i<=M Then nach:=i Else Prov:=False;
Inc(i);
While (A[i]<0)and(i<M) Do Inc(i);
If i<=M Then kon:=i Else Prov:=False;
If Kon-Nach>1 Then Begin
   For i:=Nach+1 To Kon-1 Do Mn:=Mn*a[i];
   If Mn mod 3 =0 Then Prov:=True;
End;
Until ((Kon-Nach)>1)or(i>=M);
End;
 
Procedure Obmen(Var A:Mas; Nach,kon:Integer);
Var t:Integer;
Begin
 
     t:=a[nach];
     a[nach]:=a[kon];
     a[kon]:=t;
End;
 
Procedure Vyvod(A:Mas; Nach,Kon:Integer);
Begin
     For i:=1 To M Do Begin
         TextColor(7);
         If (i=nach)or(i=Kon) Then TextColor(12);
         Write(A[i]:3);
     End; Writeln;
End;
 
BEGIN
ClrScr; Randomize;
t1:=0;
TextColor(7);
Write('M='); Readln(M);
SozdMas(A);
While Prov(A,t1,t2) Do Begin
   Obmen(A,t1,t2);
   Vyvod(A,t1,t2);
End;
 
Readln;
END.