Assertion: distribution's property | /r/HasProperty | obvious
Facets:
Source sentences:
text: The former property is obvious, while the latter can be proved as follows: