Hörmander (1983, §IV.2) proves the uniqueness of such an extension.
Hörmander (1983, §IV.2) はこのような拡張の一意性を証明している。