E. Bach pokazał w 1984 roku istnienie redukcji wielomianowej problemu faktoryzacji n do problemu logarytmu dyskretnego w Z_n^*, przy założeniu prawdziwości rozszerzonej hipotezy Riemanna dla L-funkcji Dirichleta. Pokażę bez zakładania tej hipotezy, że tego typu redukcja zachodzi dla wszystkich n<x bezkwadratowych, nieparzystych poza zbiorem wyjątków, z jawnym oszacowaniem ich liczności (zależnej od x).