Assertion: class's method | /r/ObjectUse | used for example
Facets:
value: in the proof
type: MANNER
Source sentences:
text: This method is used, for example, in the proof that there is no free complete lattice on three or more generators.