(g^a mod p)^b mod p