Assertion: certificate's number | /r/HasProperty | prime
Facets:
Source sentences:
text: In mathematics and computer science, a primality certificate or primality proof is a succinct, formal proof that a number is prime.
text: We continue recursively in this manner until we reach a number known to be prime, such as 2.