On trace theorems for sobolev spaces