Description: Reduce the elements of a cut for a positive number. (Contributed by Scott Fenton, 13-Mar-2025)