 If formula_123 is a continuous linear map such that formula_124 for all formula_125 and all formula_126 then there exists a distribution formula_107 such that formula_128 for all formula_126.Let "H" be the Heavyside function on formula_130 and formula_131 be the Dirac measure at 0.Then formula_132, where formula_133 is the derivative of formula_131, and formula_135.