Zakaz usuwania (ang. no-deleting theorem) – twierdzenie mówiące, że mając dwie kopie nieznanego stanu kwantowego nie można usunąć jednej z nich. Jest dopełnieniem zakazu klonowania, zgodnie z którym nie można skopiować nieznanego stanu kwantowego, jak i zakazu ukrywania, zgodnie z którym informacja kwantowa usunięta z systemu kwantowego do środowiska nie może pozostawać w korelacji pomiędzy systemem a środowiskiem.
Twierdzenie Poszukujemy transformacji pozwalającej na usunięcie jednej z dwóch kopii nieznanego stanu kwantowego (zob. Notacja Diraca) poprzez zastąpienie jej stanem standardowym W odróżnieniu od twierdzenia o zakazie klonowania wprowadzamy tu dodatkowy kubit pomocniczy określający stan maszyny usuwającej i dopuszczamy możliwość zmiany stanu na w wyniku tej transformacji.
Twierdzenie: Nie istnieje uniwersalna liniowa i izometryczna (nie zakładamy, że unitarna) transformacja
w wyniku działania której dowolny, nieznany stan zostałby zastąpiony stanem tj.