theorem
  h|X is increasing implies (-h)|X is decreasing
by Th32;
