Ordered field/x negative/Inverse/Exercise