Problème avec des conditions dans if

if tableau[i]<>tableau[i+1] 
then begin
     end
else begin
     end; 

if tableau[i+1] = tableau[i]+1
then ...

program notes ;
uses crt;
type table= array[1..100] of integer;

var 
     tableau : table ;
i , n : integer;
controle , resultat : boolean;

      PROCEDURE demandernombre( var tableau3 : table);
      begin
              writeln(' Veuillez saisir le nombre de nombres');
              readln(n);
              writeln;
            
              (* saisie des nombres dans le tableau *)
               for i:= 1 to n do
               begin
                       writeln('Veuillez saisir le nombre ', i);
                       readln(tableau3[i]);
               end;
      end;

      FUNCTION verifiertableau ( tableau1 : table ; n1 : integer ; var controle : boolean) : boolean;

    begin 
             controle := true;
            (* maintenant , je verifie les différents élements du tableau *)
            writeln ( tableau1[i] , ' ' );

            if tableau[i] <> tableau[i] +1 then
            begin
                     controle := false;
           end;
       (* j'assigne la valeu à retourner *)
         verifiertableau := controle;
    end;
  
begin

        clrscr;
        demandernombre(tableau);
     resultat :=  verifiertableau(tableau,n,controle);

   if resultat = true then
begin 
        writeln(' les elements du tableau sont consecutifs');

  else
  begin
          wr iteln(' les elements du tableau ne sont pas consecutifs ');
end;

readln;
end.