Add Chinese Remainder Theorem, discrete log, discrete root, primitive root