primeModulusForm
P176061
predicate
Indicates that something is expressed or structured using a modulus that is a prime number.