If X is an open subset of Rn, the function ψ belongs to \(C^\infty (X),\) and f is locally integrable on X, one has, for every test function \(\phi,\ ({\rm test}(\psi\ f))(\phi ) = ({\rm test}\ f)(\psi\ \phi ).\)