BirkhoffLee@tg
says to
YSITD
( G^a mod P )^b mod P = (G^a^b) mod P