Assertion: function's number | /r/HasProperty | divisible
Facets:
value: by primes
type: OTHER
Source sentences:
text: Adding 1 to a factorial n! yields a number that is only divisible by primes that are larger than n.