Ordered field/x positive/Inverse/Exercise