Saturating addition over unsigned integers is an associative operation. The proof is easy:

    (a su+ b) su+ c == min(a u+ b u+ c, MAX_UINT) == a su+ (b su+ c)