Proving that the IDTFT is the inverse of the DTFT? The DTFT is given by:

$$X(e^{j\omega}) = \sum_{n=-\infty}^{\infty}x[n]e^{-j\omega n}$$

The IDTFT is given by:

$$x[n]=\frac{1}{2\pi}\int_{0}^{2\pi}X(e^{j\omega})e^{j\omega n}d\omega$$

I have been able to show by substitution of the DTFT into the IDTFT that the transform and a subsequent inverse transform return $x[n]$:

$$\begin{align}
x[n]&amp;=\frac{1}{2\pi}\int_{0}^{2\pi}X(e^{j\omega})e^{j\omega n}d\omega\\
&amp;=\frac{1}{2\pi}\int_{0}^{2\pi} \left( \sum_{k=-\infty}^{\infty}x[k]e^{-j\omega k} \right)e^{j\omega n}d\omega\\
\end{align}$$

Swap the order of integration and summation:

$$x[n]=\frac{1}{2\pi}\sum_{k=-\infty}^{\infty}\int_{0}^{2\pi}x[k]e^{j\omega (n-k)}d\omega$$

Argue that given $e^{j\omega (n-k)}$ is an odd function, it will only evaluate to anything other than 0 when $k=n$:

$$\begin{align}
x[n]&amp;=\frac{1}{2\pi}\sum_{k=-\infty}^{\infty}\int_{0}^{2\pi}x[k]e^{j\omega (n-k)} d\omega \ \delta[n-k]\\
&amp;=\frac{1}{2\pi}\int_{0}^{2\pi}x[n]d\omega \\
&amp;=\frac{2\pi}{2\pi}x[n]\\
\end{align}$$

However, I have been unable to show the dual case: that the inverse transform (IDTFT) substituted into the forward transform (DTFT) gives $X(e^{j\omega})$. How can we show this?
$$\begin{align}X(e^{j\omega})&amp;=\sum_{n=-\infty}^{\infty}x[n]e^{-jn\omega}\\&amp;=\sum_{n=-\infty}^{\infty}\left[\frac{1}{2\pi}\int_{0}^{2\pi}X(e^{j\Omega})e^{jn\Omega}d\Omega\right]\;e^{-jn\omega}\\&amp;=\int_{0}^{2\pi}X(e^{j\Omega})\left[\frac{1}{2\pi}\sum_{n=-\infty}^{\infty}e^{jn(\Omega-\omega)}\right]d\Omega\\&amp;=\int_{0}^{2\pi}X(e^{j\Omega})\delta(\Omega-\omega)d\Omega\\&amp;=X(e^{j\omega})\end{align}$$

where I've used the identity

$$\delta(\omega)=\frac{1}{2\pi}\sum_{n=-\infty}^{\infty}e^{jn\omega}$$