Assertion: curve's point | /r/HasProperty | x p
Facets:
Source sentences:
text: Given the curve y2 = x3 + ax + b over the field K (whose characteristic we assume to be neither 2 nor 3), and points P = (x P , y P ) and Q = (x Q , y Q ) on the curve, assume first that x P ≠ x Q (first pane below).