Trace Zero Theorem