hash code of sum is unique, but not sum of hash codes