BirkhoffLee@tg says to YSITD
( G^a mod P )^b mod P = G^a^b mod P 這個有成立嗎