---
aliases: 
up:
  - "[[division euclidienne de polynômes|division de polynômes]]"
tags:
  - s/maths/algèbre
---

> [!proposition]+ 
> Soit $K$ un [[corps]]
> Soient $P, Q, R \in K[X]$
> Alors :
> $\begin{cases} P \mid QR \\ \operatorname{PGCD}(P, Q) = 1 \end{cases} \implies P \mid R$