Additivity of traces v4.pdf