Assertion: certificate's number | /r/HasProperty | composite
Facets:
Source sentences:
text: Producing certificates for the complement problem, to establish that a number is composite, is straightforward: it suffices to give a nontrivial divisor.