[see also: conclude, find, infer, follow
To deduce (9) from (5), choose......
At this stage we appeal to Theorem 2 to deduce that......
The case when f is decreasing can be proved similarly, or else can be deduced from......