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