(Y^X) % P