Assertion: circle's equation | /r/HasAspect | the form
Facets:
value: by the af+bg theorem
type: OTHER
Source sentences:
text: So, by the AF+BG theorem, the tangential equation of C has the form HP+KQ=0.