Assertion: gauss | /r/CapableOf | use a fourth-power lemma
Facets:
value: to derive the formula
type: PURPOSE
Source sentences:
text: Gauss used a fourth-power lemma to derive the formula for the biquadratic character of 1