La prueba de demostrar por el Protocolo de Chaum-Pedersen que formula_90 o lo que es lo mismo formula_91 que en ambos casos es igual a formula_92.