Assertion: gauss's proof | /r/CapableOf | serve as template
Facets:
value: for class field theory
type: TRANSITIVE-OBJECT
Source sentences:
text: This proof served as a template for class field theory, which can be viewed as a vast generalization of quadratic reciprocity.