Assertion: division's number | /r/HasProperty | ≤ r
Facets:
Source sentences:
text: That is, there exist a natural number k ≤ r 1 such that a