Привет, рылся в старых записях, нашел решение одной задачи на делимость при помощи комплексных чисел. К сожалению записано не в полном объеме. Помогите разобраться. Задача такова:

, доказать, что

![$\[a \vdots b \Leftrightarrow a - b \vdots b\]$ $\[a \vdots b \Leftrightarrow a - b \vdots b\]$](https://dxdy-02.korotkov.co.uk/f/1/9/d/19d7a765473b7631e2131bfdde82e68682.png)

Многочлен делится на многочлен когда есть общий корень
Пусть
![$\[\varepsilon :{\varepsilon ^2} + \varepsilon + 1 = 0 \Rightarrow {\varepsilon ^3} = 1\]$ $\[\varepsilon :{\varepsilon ^2} + \varepsilon + 1 = 0 \Rightarrow {\varepsilon ^3} = 1\]$](https://dxdy-03.korotkov.co.uk/f/6/1/5/615e1fab468a9c4d8d908528605594bd82.png)

и значит верно доказуемое.
Можете пояснить, правильно ли такое решение? где можно больше узнать про решение задач на делимость таким способом?