Almost Uniform Density of Power Residues and the Provable Security of ESIGN