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