Por tanto el protocolo prueba que P conoce el texto original m.