Proof of Traces - zeta