Proposition 6
Tag 06ZL, permanent. Cite it as [Bourbaki, Tag 06ZL].
Algebra, chapter VI, § 2. Ordered fields
— Every positive element of a maximal ordered field K has a square root in K. Every polynomial of odd degree in K[X] has at least one root in K.
This follows immediately from Cor. 2 and 1 to Prop. 4 of VI, p. 24.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.