compositenessWitnessCondition

P179926
predicate

Indicates that a given element or condition serves as a valid witness demonstrating that a number (or structure) is composite rather than prime.

Sample triples (1)

Subject Object
Miller primality test x ≠ 1 and x ≠ n−1 and no square equals n−1 modulo n