A fundamental tool in practical spectrum analysis is zero
padding. This theorem shows that zero padding in the time domain
corresponds to ideal interpolation in the frequency domain (for
time-limited signals):