Description: Membership of a sum in a finite interval of integers, a deduction version. (Contributed by metakunt, 10-May-2024)