Ordered field/Properties of powers/Exercise