Assertion: prime number's factor | /r/HasAspect | the form
Facets:
Source sentences:
text: Euler proved that every factor of F n must have the form k 2n+1 + 1