Assertion: hypothesis's consequence | /r/HasProperty | theorem
Facets:
Source sentences:
text: Some consequences of the RH are also consequences of its negation, and are thus theorems.