В доказательстве 6-го упражнения база индукции верна.
От соотношения
$$
\underbrace{A_1...A_{i-1}}_{B} \; A_{j} \; \underbrace{A_{i+1}....A_{j-1}}_{C} \; A_{i} \; \underbrace{A_{j+1}....A_{n+1}}_{D} = J
$$
мы переходим к соотношению
$$BA_iCA_jD = J.$$
Сказано: "получим соотношение $BA_iCA_jD = J$ из меньшего числа элементов".
--- Меньшего, чем что?
--- Меньшего, чем $n+1$.
Получается, что $n+1\gt 5$.
$$
n \geq 5.
$$
