K est un corps équivalent à K[X] principal

Plus précisément, le développement consiste à démontrer que :\r\rA[X] principal ⇒ A est un corps\r\rA est un corps ⇒ A[X] euclidien (donc principal).