Some formal properties of the terms in the trace formula