 Functions that are strictly monotone are one-to-one (because for formula_2 not equal to formula_3, either formula_13 or formula_14 and so, by monotonicity, either formula_15 or formula_16, thus formula_17.