Assertion: curve's point | /r/HasProperty | a zero of p of the form
Facets:
Source sentences:
text: A point at infinity of the curve is a zero of p of the form (a, b, 0).