Polynomial ring/Ordered field/Ordered quotient field/Not archimedean/Exercise