プランシュレルの定理
is a special case of the Plancherel theorem. These theorems can be proven using the orthogonality property.