Li-Fan Chen
says to
YSITD
G^a^b是 G^(a^b)還(G^a)^b