Ordered field/b bigger 1/Factor decomposition/Exercise