Assertion: function's number | /r/HasProperty | infinite
Facets:
Source sentences:
text: This fact can be used to prove Euclid's theorem that the number of primes is infinite.