Cipher/ElGamal/Generic.agda