フーリエ変換
Moreover, for all formula_90 in formula_91  formula_92 (Fourier transform on formula_74) equals formula_94 (Fourier transform on formula_75).