Corollary 2
Tag 06AB, permanent. Cite it as [Bourbaki, Tag 06AB].
Algebra, chapter IV, § 1. Polynomials
— Let d be a gcd off and g. (i) If , du is a gcd of fu and gu. (ii) If is a divisor () of f and g, then is a gcd of and . This follows from Prop. 12, (ii).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.