Assertion: curve's property | /r/HasProperty | the third
Facets:
Source sentences:
text: It, too, forms a group, because properties of polynomial equations show that if P is in E(K), then −P is also in E(K), and if two of P, Q, and R are in E(K), then so is the third.