Corollary 1

Tag 06AA, permanent. Cite it as [Bourbaki, Tag 06AA].

Let $d$ be a gcd of $f$ and $g$ and $K'$ a commutative field containing $K$ as subfield. Then $d$ is a gcd of $f$ and $g$ considered as elements of $K'[X]$ .

This follows from Prop. 12, (iii).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Prop. 12