Update el-gamal.tex