Assertion: odd prime number | /r/CapableOf | divide one overpseudoprime
Facets:
value: to base 2
type: LOCATION
Source sentences:
text: They divide none of overpseudoprimes to base 2, but every other odd prime number divide one overpseudoprime to base 2, because if and only if a composite number can be written as Φ n ( 2 ) gcd ( Φ n ( 2 ) , n )