Please recall the definition of a function, either increasing or decreasing on an interval (v.s. def monotonous function).

- This function is continuous and strictly increasing on , thus it is a bijection of onto .
- By Prop. 5.1, and .

A consequence of this is that any equation of the form has a unique solution in .