Si formula_58 se define como la DFT unitaria del vector formula_46 entonces