Smoothing Operators Improve Sobolev Regularity