Следует отметить, что если  разделить величину 

 на 

 и, соответственно, на (1) или (2), то в результате деления обеспечивается
![$ F_{a^3}/[a_1(2)] \equiv 1 \mod (2n)$ $ F_{a^3}/[a_1(2)] \equiv 1 \mod (2n)$](https://dxdy-03.korotkov.co.uk/f/2/8/e/28ed591baedce95d5d3c38d62b0df21b82.png)
; (1-2) 
Неправильно писать 

, так как (2) это номер ссылки на 

, а номера ссылок не включают в формулы.
Но если написать 

, то это будет тоже неверно.
Верно так:

; (1-2)
На основании этой закономерности далее рассматривается вариант

,
Здесь у меня тоже возник вопрос: почему?
Во-первых, для чего вы берёте 

 в скобки? Разве 

 не то же самое?
Во-вторых, почему Вы рассматриваете именно этот вариант, в котором и 

 и 

 делятся на 

?
Ваш ответ на этот вопрос мне непонятен.
Вы можете рассмотреть вариант 

 ничего не объясняя, но вы должны рассмотреть и другие варианты.