Title: A trace theorem for Dirichlet forms on fractals