Definition 1
Tag 06A9, permanent. Cite it as [Bourbaki, Tag 06A9].
Algebra, chapter IV, § 1. Polynomials
With the notation of Prop. 12 we say that is a greatest common divisor (gcd for short) of and . We say that and are relatively prime or that is prime to if is a gcd of and .
To say that and are relatively prime thus means that there exist polynomials and in such that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.