В частотной области эта теорема очень наглядна.
При правильной дискретизации непрерывного сигнала к (ограниченному по-Котельникову) сплошному спектру исходного сигнала добавляется куча таких же сплошных периодических копий исходного спектра - вплоть до бесконечных частот.
При обратной операции восстановления мы применяем идеальный ФНЧ Котельникова с частотой среза, равной половине частоты дискретизации. Лишние периодические копии спектра дискретного сигнала этим фильтром тупо отсекаются, и на его выходе имеем строго восстановленный исходный непрерывный сигнал.
Проблема вся в том, что идеальных фильтров не существует. Если от математических абстракций перейти к реальным ФНЧ, что строгого восстановления не получится, но тут уже дело нашего выбора и инженерных компромиссов.
Это если восстановление делать аппаратно. Но ведь можно его сделать и программно, при помощи интерполирующих функций вида sin x / x. Программно перейти к новой очень большой частоте дискретизации, которая нас могла бы устроить, и на которой ЦАП даже с плохоньким фильтром работал бы очень близко к идеалу.