Commutative diagram for the algorithm of [ JLSV 06 ] 3 A Short Refresher on Discrete Logarithms in the Medium Prime