| prov:value
| - M is a fixed constant defined by a product of the relatively prime numbers p0, p1, . . . pN-1, b0, b1, . . . , bN-1 are fixed constants that are chosen as the multiplicative inverses of the product of all other primes modulo p0, p1, . . . , pN-1, respectively.
|