Let K {\displaystyle {}K} be a field. We say that a polynomial T ∈ K [ X ] {\displaystyle {}T\in K[X]} divides a polynomial P ∈ K [ X ] {\displaystyle {}P\in K[X]} , if there exists a polynomial Q ∈ K [ X ] {\displaystyle {}Q\in K[X]} such that