Где ─ некоторая точка. Тогда

. (23.3)

Имеем

и . (23.4)

Эти выкладки доказывают существование для любой основной функции.

Линейность данного функционала очевидна. Покажем его непрерывность. Пусть. Это означает, что существует компакт на прямой (можно взять некоторый отрезок) такой, что

1) supp для всех ;