离散对数定理

在Miller-Rabin素数测试的正确性证明里使用过~证明于此。