Assertion: gauss's proof | /r/CapableOf | lie at hand
Facets:
value: anywhere
type: LOCATION
Source sentences:
text: It is characteristic of higher arithmetic that many of its most beautiful theorems can be discovered by induction with the greatest of ease but have proofs that lie anywhere but near at hand and are often found only after many fruitless investigations with the aid of deep analysis and lucky combinations.