Assertion: prime number's digit | /r/HasProperty | prime factors
Facets:
Source sentences:
text: A prime number q is a strong prime if q + 1 and q − 1 both have some large (around 500 digits) prime factors.