Z twierdzenia Bézouta wiemy, że wielomian \( W(x) \) jest podzielny przez dwumian \( (x+1) \) wtedy i tylko wtedy, gdy: \[\begin{split}W(-1)&=0\\{(-1)}^{20}+{(-1)}^{15}-5&=0\\1-1-5&=0\\-5&=0\end{split}\] Otrzymaliśmy równanie sprzeczne, zatem wielomian \( W(x) \) nie jest podzielny przez wielomian \( P(x) \).