This theorem says that convolving a [continuous function](/page/Continuous%20Function) with a smooth compactly supported mollifier produces a smooth function on the interior where the convolution is defined. It is a basic smoothing construction in analysis.