So we had verified that complex exponential, of length N, with frequencies that are multiples of 2π/N, are orthogonal to each other: that's formula A, this is written as also DFT of the complex exponential of a frequency 2π/N times h, gives a transform that is equal to N times a δ at the location h. 