BV Trace Theorem