Доказать равносильность формулы: (X→((X&Y)→(((X→Y)→Y)&Z)))≡(Y→(X→Z))

Program rand_max;
  const
    size=8;
  var
    main_mas: array [1..size] of integer;
    i,nchet,proizv:integer;
  begin 
        nchet:=0; 
        proizv:=1; 
        randomize; 
        writeln('Исходный массив:'); 
        for i:=1 to size do  begin   
           main_mas[i]:=random(11);   
           write(' ',main_mas[i],' ');   
           if (Odd(main_mas[i])) then      
                begin       
                    inc(nchet);       
                    proizv:=proizv*main_mas[i];     
                end; 
       end; 
       writeln; 
       writeln('Кол-во нечетных: ',nchet); 
       writeln('Произведениче нечетных = ',proizv);  
end.