use the 64-bit integer type
defined fast modualr exponentiation
defined FermatPrimalityTest
defined Euclid algorithm