Prove creates a DLEQ Proof that attests that the pairs (g,gx) and (h,hx) have the same discrete logarithm equal to x.

SampleQn returns an element of Qn (the subgroup of squares in (Z/nZ)*).