showgan@tg says to YSITD
(x^y)%p