Assertion: gauss | /r/CapableOf | rediscover the asteroid
Facets:
Source sentences:
text: Gauss wrote the first systematic textbook on algebraic number theory and rediscovered the asteroid Ceres.