Ordered field/Elementary properties/3/Fact/Proof/Exercise