b^p mod m