Twierdzenie Rozważmy pewien proces fizyczny, który transformuje dowolny stan kwantowy określony macierzą gęstości z podprzestrzeni I (wejście) do większej przestrzeni Hilberta. Proces ten będzie procesem ukrywającym, jeżeli istnieje pewna podprzestrzeń O (wyjście), tej większej przestrzeni Hilberta, której stan kwantowy określony macierzą gęstości jest niezależny od stanu wejściowego, co można zapisać jako
Pozostałą część tej większej przestrzeni Hilberta można potraktować jako zbiór kubitów pomocniczych (ang. Ancilla) A.
Aby rozważany proces był fizyczny, musi być liniowy i unitarny. Z uwagi na liniowość wystarczające jest rozważenie działania tego procesu dla dowolnego czystego stanu kwantowego Unitarność pozwala z kolei na odpowiednie zwiększenie liczby kubitów pomocniczych, dzięki czemu rozważany proces ukrywający można uznać za przekształcenie liniowe stanów czystych w stany czyste, co można wyrazić za pomocą rozkładu Schmidta stanu wyjściowego, jako