prove increasing function theorem