YSITD_TG_Bot1
says to
#ysitd
<BirkhoffLee>: ( G^a mod P )^b mod P = (G^a^b) mod P