 If "f" has support at a single point {"P"}, then "f" is in fact a finite linear combination of distributional derivatives of the "δ" function at "P".That is, there exists an integer "m" and complex constants "a""α" for multi-indices |"α"| ≤ "m" such that

where τ"P" is the translation operator.A version of the above theorem holds locally in the following sense .