Дана последовательность формул:
(1) 𝐴⊃𝐵A⊃BA\supset B;
(2) ¬𝐴⊃𝐵¬A⊃B\neg A\supset B;
(3) (𝐴⊃𝐵)⊃(¬𝐵⊃¬𝐴)(A⊃B)⊃(¬B⊃¬A)(A\supset B)\supset(\neg B\supset \neg A);
(4) ¬𝐵⊃¬𝐴¬B⊃¬A\neg B\supset\neg A;
(5) (¬𝐴⊃𝐵)⊃(¬𝐵⊃¬¬𝐴)(¬A⊃B)⊃(¬B⊃¬¬A)(\neg A\supset B)\supset(\neg B\supset \neg\neg A);
(6) ¬𝐵⊃¬¬𝐴¬B⊃¬¬A\neg B\supset\neg\neg A;
(7) (¬𝐵⊃¬¬𝐴)⊃((¬𝐵⊃¬𝐴)⊃𝐵)(¬B⊃¬¬A)⊃((¬B⊃¬A)⊃B)(\neg B\supset\neg\neg A)\supset ((\neg B\supset\neg A)\supset B);
(8) (¬𝐵⊃¬𝐴)⊃𝐵(¬B⊃¬A)⊃B(\neg B\supset\neg A)\supset B;
(9) 𝐵BB.
Доказательством какого утверждения оно является?