There is no natural value for reduction of the empty list.
Therefore we assume as a precondition that the list is non-empty.