constant function theorem