Доказать равносильность следующих формул пишите подробно)

Program qq;
uses crt;
var pr, i, n: integer; a:array[1..32] of integer;
begin
randomize;
writeln ('Введите количество элементов в массиве:');
readln(n);
for i:=1 to n do
    begin
    a[i]:=random(10)+1;
    write (a[i], ' '); //Распечатаем массив для наглядности
    end;
pr:=1; //Обнулить переменную мы не можем, ибо у нас произведение. Единица же, как начальный множитель нашего произведения, его "обнулит", но качественно ни на что далее не повлияет
for i:=1 to n do
    if a[i]=2*a[i+1] then  pr:=pr*a[i]; //Если выполняется условие, то умножаем уже полученное произведение на элемент массива
writeln;
writeln (pr); //выводим произведение на экран
end.

Program u;
var i,j,k:integer;
b:array[1..7] of string;
a:array[1..7,1..3] of real;
begin
k:=0;
writeln('запишите фамилии учеников в столбик');
for i:=1 to 7 do readln(b[i]);
for i:=1 to 7 do writeln(b[i]);for i:=1 to 7 do begin writeln('запишите оценки' , b[i]);
for j:=1 to 2 do read (a[i,j]);end;
for i:=1 to 7 do a[i,3]:=(a[i,1]+a[i,2])/2 ;
for i:=1 to 7 do begin writeln;write(b[i],' ',45a[i,1],' ',a[i,2],' средняя оценка ',a[i,3]);end;
writeln;for i:=1 to 7 do if (a[i,1]=5) and (a[i,2]=5)then k:=k+1;
writeln('количество отличников ',k);
end.