At prosessen med sampling, AD-omforming og senere syntese, DA-omforming prinsipielt ikke innfører noen feil ble formelt bevist av Harry Nyquist og Claude Shannon ved Nyquist-Shannons samplingsteorem.