172: I suspect f and g should be assumed to be monotonic from the start.
173: I think you're right. Can this direction be proved in a similar way to the reverse direction (next paragraph)?