Assertion: scheme's number | /r/HasProperty | successful
Facets:
Source sentences:
text: The numbers p and q should not be "too close", lest the Fermat factorization for n be successful.