Working on section 1.2.6, testing for primality, finished exponentiation section