Para un texto cifrado de ElGamal formula_85, con el algoritmo de identificación de Schnorr, se prueba que P conoce b.