That is, the usual product is divided by p and the remainder of this division is the result of modular multiplication