Additivity of Trace