minimum' ( integer : remainingIntegers )

 =  integer `min` (minimum' remainingIntegers)
minimum' ( integer : remainingIntegers )

 =  integer `min` (minimum' remainingIntegers)
minimum' ( integer : remainingIntegers )

 =  integer `min` (minimum' remainingIntegers)