Plancherel theorem
が従う。さらに適当な拡大縮小を施すことにより、評価不等式における "C" を 1 としてよいことが、formula_147 上のペイリー-ウィーナーの定理およびプランシュレルの定理から演繹される。