Assertion: prime number's factor | /r/CapableOf | divide r n
Facets:
Source sentences:
text: (Prime factors colored red means "new factors", i. e. the prime factor divides R n but does not divide R k for all k < n) (sequence A102380 in the OEIS)