>>67

m≠p のとき、 1 - exp{-j2π(m-p)/N} ≠0
　これを左辺に掛けると、
　exp{-j2π(m-p)n/N} * [ 1 - exp{-j2π(m-p)/N} ] = exp{-j2π(m-p)n/N} - exp{-j2π(m-p)(n+1)/N},
　により 左辺は0 になる。
m=p のときは、各項1だから、簡単。