Description: Equality theorem for strictly monotone functions. (Contributed by Andrew Salmon, 16-Nov-2011)