Es sei g ∈ E ( C ) {\displaystyle {}g\in {\mathcal {E}}{\left({\mathbb {C} }\right)}} mit kompaktem Träger.
Dann gibt es eine Funktion f ∈ E ( C ) {\displaystyle {}f\in {\mathcal {E}}{\left({\mathbb {C} }\right)}} mit