Лемма о невозможности существования вычислительно безопасных шифров в случае P = NP

Формулировка

Пусть P [math]=[/math] NP. Имеется набор схем шифрования [math]\{E_{i}, D_{i}\}[/math], где [math]0 \le i \le k[/math], [math]E_{i} \n P[/math], [math]D_{i} \in P[/math].