Assertion: gauss | /r/CapableOf | use modern tools
Facets:
Source sentences:
text: He also realized the importance of the property of unique factorization (assured by the fundamental theorem of arithmetic, first studied by Euclid), which he restates and proves using modern tools.