Corollary 1
Tag 06XE, permanent. Cite it as [Bourbaki, Tag 06XE].
Algebra, chapter VI, § 1. Ordered groups. Divisibility
— If a, b, c are three elements of A such that a is coprime to b, then every gcd of a and c is also a gcd of a and bc.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.