Assertion: gauss's theorem | /r/HasProperty | the basis
Facets:
value: for green's identities
type: OTHER
Source sentences:
text: f , in which case the theorem is the basis for Green's identities.