Assertion: prime number's factor | /r/HasProperty | a multiple of smaller factor
Facets:
Source sentences:
text: Instead of checking till n, we can check till √n because a larger factor of n must be a multiple of smaller factor that has been already checked.