Assertion: prime number | /r/HasProperty | p ≥
Facets:
Source sentences:
text: (here the product extends over all prime numbers p ≥ 3).