Es el primer y único método de cifrado para el que existe tal demostración.