BirkhoffLee@tg says to YSITD
依照他的說法,[(12 ^ 15) mod 17] = [(3 ^ 13 ^ 15) mod 17]