Trace Extension Theorem