Vai ir kāda teorēma aiz tā, ka (g^a mod p)^b mod p=g^ab mod p?