(g^b mod p)^a mod p