Assertion: group | /r/CapableOf | describe factorization
Facets:
value: into prime numbers
type: OTHER
Source sentences:
text: In 1847, Ernst Kummer made early attempts to prove Fermat's Last Theorem by developing groups describing factorization into prime numbers.