Mathematics for Applied Sciences (Osnabrück 2023-2024)/Polynomial ring/Ordered field/Positivity/Exercise/Exercisereferencenumber